diff -r 412780374bd3 -r c8092e909886 stage4/generate_c/generate_c_inlinefcall.cc
--- a/stage4/generate_c/generate_c_inlinefcall.cc	Wed Jun 13 19:51:26 2012 +0200
+++ b/stage4/generate_c/generate_c_inlinefcall.cc	Thu Jun 14 12:00:19 2012 +0100
@@ -179,7 +179,7 @@
       if (function_type_suffix) {
         function_type_suffix->accept(*this);
       }
-      s4o.print_integer(fcall_number);
+      s4o.print(fcall_number);
       s4o.print("(");
       s4o.indent_right();