int fgetc( FILE * stream ) { _PDCLIB_flockfile( stream ); int c = _PDCLIB_fgetc_unlocked( stream ); _PDCLIB_funlockfile( stream ); return c; }
int _PDCLIB_getc_unlocked( FILE * stream ) { return _PDCLIB_fgetc_unlocked( stream ); }
int _PDCLIB_getchar_unlocked( void ) { return _PDCLIB_fgetc_unlocked( stdin ); }