statsPrintf: add a gcc attribute to get better type errors
static void getTimes(void);
static nat pageFaults(void);
static void getTimes(void);
static nat pageFaults(void);
-static void statsPrintf( char *s, ... );
+static void statsPrintf( char *s, ... )
+ GNUC3_ATTRIBUTE(format (printf, 1, 2));
+
static void statsFlush( void );
static void statsClose( void );
static void statsFlush( void );
static void statsClose( void );