/* FIXME: This test not yet 32/64 bit agnostic */
TESTCASE( testprintf( buffer, 100, "%p", (void *)0xdeadbeef ) == 10 );
TESTCASE_SPRINTF( strcmp( buffer, "0xdeadbeef" ) == 0 );
/* FIXME: This test not yet 32/64 bit agnostic */
TESTCASE( testprintf( buffer, 100, "%p", (void *)0xdeadbeef ) == 10 );
TESTCASE_SPRINTF( strcmp( buffer, "0xdeadbeef" ) == 0 );