--- a/stage4/generate_c/generate_var_list.cc	Fri Dec 12 17:52:44 2008 +0100
+++ b/stage4/generate_c/generate_var_list.cc	Mon Dec 15 17:23:22 2008 +0100
@@ -410,6 +410,8 @@
 /**********************/
     void *visit(program_declaration_c *symbol) {
       if (current_declarationtype == variables_dt && configuration_defined) {
+        symbol->program_type_name->accept(*this);
+        s4o.print(";\n");
         symbol->var_declarations->accept(*this);
         symbol->function_block_body->accept(*this);
       }