-void AddCodeLine (const char* Format, ...) attribute ((format(printf,1,2)));
-/* Add a new line of code to the output */
-
-void AddCodeHint (const char* Hint);
-/* Add an optimizer hint */
-
-void AddEmptyLine (void);
-/* Add an empty line for formatting purposes */
-