+ FILE * fh;
+ TESTCASE( testprintf( stdout, "Hallo\n" ) == 6 );
+#if 0
+ TESTCASE( ( fh = fopen( "testfile", "w" ) ) != NULL );
+ TESTCASE( testprintf( fh, "Hallo\n" ) );
+ TESTCASE( fclose( fh ) == 0 );
+ TESTCASE( remove( "testfile" ) == 0 );
+#endif