diff -r b4d81d21b8d3 -r 7ca02034c4f6 stage4/generate_c/generate_c_vardecl.cc
--- a/stage4/generate_c/generate_c_vardecl.cc	Tue Jun 09 10:14:17 2009 +0200
+++ b/stage4/generate_c/generate_c_vardecl.cc	Tue Jun 09 10:57:01 2009 +0200
@@ -1016,17 +1016,29 @@
       } /* switch() */
 
       symbol->accept(*this);
-
-      /* special case... */
-      if (wanted_varformat == finterface_vf)
-        if (finterface_var_count == 0)
-          s4o.print("void");
-
+      
       delete nv;
       nv = NULL;
       globalnamespace = NULL;
     }
 
+    void print_eneno(void) {
+      if (!en_declared) {
+        if (wanted_varformat == finterface_vf) {
+          if (finterface_var_count > 0)
+            s4o.print(",\n" + s4o.indent_spaces);
+          s4o.print("BOOL EN");
+        }
+        else
+          s4o.print(s4o.indent_spaces + "BOOL EN;\n");
+      }
+      if (!eno_declared) {
+        if (wanted_varformat == finterface_vf)
+          s4o.print(",\n" + s4o.indent_spaces + "BOOL *ENO");
+        else
+          s4o.print(s4o.indent_spaces + "BOOL ENO;\n");
+      }
+    }
 
   protected:
 /***************************/