#include <stdarg.h>
#ifndef REGTEST
+#include <_PDCLIB_io.h>
+
+int _PDCLIB_vprintf_unlocked( const char * _PDCLIB_restrict format,
+ _PDCLIB_va_list arg )
+{
+ return _PDCLIB_vfprintf_unlocked( stdout, format, arg );
+}
int vprintf( const char * _PDCLIB_restrict format, _PDCLIB_va_list arg )
{