--- a/stage4/generate_c/generate_c_sfc.cc	Wed Jun 13 19:51:26 2012 +0200
+++ b/stage4/generate_c/generate_c_sfc.cc	Thu Jun 14 12:00:19 2012 +0100
@@ -117,7 +117,7 @@
     }      
 
     void print_transition_number(void) {
-      s4o.print_integer(transition_number);
+      s4o.print(transition_number);
     }
 
     void print_reset_step(symbol_c *step_name) {