#include <stdio.h>
+/* common */
+#include "attrib.h"
+
/*****************************************************************************/
-void AddCodeLine (const char* Format, ...);
+void AddCodeLine (const char* Format, ...) attribute ((format(printf,1,2)));
/* Add a new line of code to the output */
void AddCodeHint (const char* Hint);
+