+
+ // Define the __SPEC_INIT__ function to initialize user-defined
+ // variables
+ newCode.add(COMMENT("Initialization of sequential varialbes"));
+ newCode.add("static void __SPEC_INIT__() {");
+ addAllCodeWithIndent(newCode, construct.code.initVar, "\t");
+ newCode.add("}");
+ newCode.add("");
+
+ // Define the __SPEC_CLEAN__ function for clean-up
+ newCode.add(COMMENT("Cleanup routine of sequential variables"));
+ newCode.add("static void __SPEC_CLEANUP__() {");
+ addAllCodeWithIndent(newCode, construct.code.cleanupCode, "\t");
+ newCode.add("}");
+ newCode.add("");
+