diff -r 412780374bd3 -r c8092e909886 stage4/generate_c/generate_c_typedecl.cc
--- a/stage4/generate_c/generate_c_typedecl.cc	Wed Jun 13 19:51:26 2012 +0200
+++ b/stage4/generate_c/generate_c_typedecl.cc	Thu Jun 14 12:00:19 2012 +0100
@@ -75,18 +75,6 @@
 
     basetypedeclaration_t current_basetypedeclaration;
 
-    void print_integer(unsigned long long int integer) {
-      char str[24];
-      sprintf(str, "%llu", integer);
-      s4o.print(str);
-    }
-
-    void print_integer_incl(unsigned long long int integer) {
-      char str[24];
-      sprintf(str, "%llu", integer);
-      s4o_incl.print(str);
-    }
-
     void *print_list_incl(list_c *list,
          std::string pre_elem_str = "",
          std::string inter_elem_str = "",
@@ -255,7 +243,7 @@
     case array_td:
       if (current_basetypedeclaration == arraysubrange_bd) {
         s4o_incl.print("[");
-        print_integer_incl(symbol->dimension);
+        s4o_incl.print(symbol->dimension);
         s4o_incl.print("]");
       }
       else