diff -r 412780374bd3 -r c8092e909886 stage4/generate_c/generate_c_st.cc
--- a/stage4/generate_c/generate_c_st.cc	Wed Jun 13 19:51:26 2012 +0200
+++ b/stage4/generate_c/generate_c_st.cc	Thu Jun 14 12:00:19 2012 +0100
@@ -792,7 +792,7 @@
       print_function_parameter_data_types_c overloaded_func_suf(&s4o);
       f_decl->accept(overloaded_func_suf);
     }
-    s4o.print_integer(fcall_number);
+    s4o.print(fcall_number);
   }
   else {
     function_name->accept(*this);