// ----------------------------------------------------------------------------
FILE * freopen( const char * restrict filename, const char * restrict mode, FILE * stream ) { /* TODO */ };
// ----------------------------------------------------------------------------
FILE * freopen( const char * restrict filename, const char * restrict mode, FILE * stream ) { /* TODO */ };