+ if ( _PDCLIB_prepread( stream ) == EOF )
+ {
+ return EOF;
+ }
+
+ char c;
+
+ size_t n = _PDCLIB_getchars( &c, 1, EOF, stream );
+
+ return n == 0 ? EOF : (unsigned char) c;
+}
+
+int fgetc( FILE * stream )
+{
+ flockfile( stream );
+ int c = fgetc_unlocked( stream );
+ funlockfile( stream );
+ return c;