--- a/stage4/generate_c/generate_c_st.cc	Sat Mar 15 20:10:20 2014 +0000
+++ b/stage4/generate_c/generate_c_st.cc	Sun Mar 16 10:16:25 2014 +0000
@@ -874,7 +874,13 @@
 /* B 3.2 Statements */
 /********************/
 void *visit(statement_list_c *symbol) {
-  return print_list(symbol, s4o.indent_spaces, ";\n" + s4o.indent_spaces, ";\n");
+  for(int i = 0; i < symbol->n; i++) {
+    print_line_directive(symbol->elements[i]);
+    s4o.print(s4o.indent_spaces);
+    symbol->elements[i]->accept(*this);
+    s4o.print(";\n");
+  }
+  return NULL;
 }
 
 /*********************************/