+int fprintf( FILE * _PDCLIB_restrict stream,
+ const char * _PDCLIB_restrict format, ... )
+{
+ int rc;
+ va_list ap;
+ va_start( ap, format );
+ flockfile( stream );
+ rc = vfprintf_unlocked( stream, format, ap );
+ funlockfile( stream );
+ va_end( ap );
+ return rc;
+}
+