+#include <_PDCLIB_io.h>
+
+static size_t filecb(void *p, const char *buf, size_t size)
+{
+ return _PDCLIB_fwrite_unlocked( buf, 1, size, (FILE*) p );
+}
+
+int _PDCLIB_vfprintf_unlocked( FILE * _PDCLIB_restrict stream,
+ const char * _PDCLIB_restrict format,
+ va_list arg )
+{
+ return _vcbprintf(stream, filecb, format, arg);
+}