test7             637 user/testbin/malloctest/malloctest.c 	{ 7, "Stress test with particular seed", test7 },
test7             400 user/testbin/rmdirtest/rmdirtest.c 	test7();