extern int xfprintf (FILE *restrict stream, char const *restrict format, ...)
__attribute__ ((__format__ (__printf__, 2, 3)));
extern int xfprintf (FILE *restrict stream, char const *restrict format, ...)
__attribute__ ((__format__ (__printf__, 2, 3)));