diff -r 412780374bd3 -r c8092e909886 stage4/generate_c/generate_c_base.cc
--- a/stage4/generate_c/generate_c_base.cc	Wed Jun 13 19:51:26 2012 +0200
+++ b/stage4/generate_c/generate_c_base.cc	Thu Jun 14 12:00:19 2012 +0100
@@ -385,7 +385,7 @@
 
       str += '"';
       s4o.print("__STRING_LITERAL(");
-      s4o.print_integer(count); 
+      s4o.print(count); 
       s4o.print(",");
       s4o.print(str);
       s4o.print(")");