+#include "_PDCLIB_test.h"
+
+#define testprintf( stream, format, ... ) fprintf( stream, format, __VA_ARGS__ )
+
+int main( void )
+{
+ FILE * target;
+ TESTCASE( ( target = tmpfile() ) != NULL );
+#include "printf_testcases.h"
+ TESTCASE( fclose( target ) == 0 );
+ return TEST_RESULTS;