testno            518 user/testbin/malloctest/malloctest.c test567(int testno, unsigned long seed)
testno            570 user/testbin/malloctest/malloctest.c 		printf("FAILED malloc test %d\n", testno);
testno            573 user/testbin/malloctest/malloctest.c 		printf("Passed malloc test %d\n", testno);