// ----------------------------------------------------------------------------
int fprintf( FILE * restrict stream, const char * restrict format, ... ) { /* TODO */ };
// ----------------------------------------------------------------------------
int fprintf( FILE * restrict stream, const char * restrict format, ... ) { /* TODO */ };