#include <stdio.h>
-void out_printf(FILE *fp,char *format,...);
-void out_addline_infile(FILE *fp, int line);
-void out_addline_outfile(FILE *fp);
+void out_printf (FILE *fp, const char *format, ...) G_GNUC_PRINTF (2, 3);
+void out_addline_infile (FILE *fp, int line);
+void out_addline_outfile (FILE *fp);
#endif