* but only if debug logging was activated.
*
*/
-void debuglog(char *fmt, ...);
+void debuglog(char *fmt, ...)
+ __attribute__ ((format (printf, 1, 2)));
/**
* Logs the given message to stdout while prefixing the current time to it.
*
*/
-void errorlog(char *fmt, ...);
+void errorlog(char *fmt, ...)
+ __attribute__ ((format (printf, 1, 2)));
/**
* Logs the given message to stdout while prefixing the current time to it,
* but only if verbose mode is activated.
*
*/
-void verboselog(char *fmt, ...);
+void verboselog(char *fmt, ...)
+ __attribute__ ((format (printf, 1, 2)));
/**
* Logs the given message to stdout while prefixing the current time to it.