// ----------------------------------------------------------------------------
void clearerr( FILE * stream ) { /* TODO */ };
// ----------------------------------------------------------------------------
void clearerr( FILE * stream ) { /* TODO */ };