int fputc( int c, FILE * stream ) { _PDCLIB_flockfile( stream ); int r = _PDCLIB_fputc_unlocked( c, stream ); _PDCLIB_funlockfile( stream ); return r; }
int _PDCLIB_putchar_unlocked( int c ) { return _PDCLIB_fputc_unlocked( c, stdout ); }
int _PDCLIB_putc_unlocked( int c, FILE * stream ) { return _PDCLIB_fputc_unlocked( c, stream ); }