diff -r 8c3e91c385f5 -r 343989fb05fb stage4/generate_c/generate_var_list.cc
--- a/stage4/generate_c/generate_var_list.cc	Sat May 31 16:22:57 2014 +0100
+++ b/stage4/generate_c/generate_var_list.cc	Sun Jun 01 08:59:02 2014 +0100
@@ -857,7 +857,7 @@
       print_symbol_list();
       s4o.print("__step_list[");
       print_step_number();
-      s4o.print("].state;BOOL;\n");
+      s4o.print("].X;BOOL;\n");
       step_number++;
       return NULL;
     }
@@ -873,7 +873,7 @@
       print_symbol_list();
       s4o.print("__step_list[");
       print_step_number();
-      s4o.print("].state;BOOL;\n");
+      s4o.print("].X;BOOL;\n");
       step_number++;
       return NULL;
     }