+ NODETRACE( 16 );
+ /* realloc with NULL pointer; expected: no page allocation, no node split */
+ ptr9 = realloc( NULL, 4072 );
+ TESTCASE( ptr9 != NULL );
+ TESTCASE( memset( ptr9, 0, 4072 ) == ptr9 );
+ TESTCASE( PAGETEST( 9 ) );
+ NODETRACE( 17 );
+#else
+ puts( " NOTEST malloc() test driver is PDCLib-specific." );