test_waitpid      190 user/testbin/badcall/driver.c 	{ 'b', 2, "waitpid",		test_waitpid },
test_waitpid       77 user/testbin/badcall/test.h void test_waitpid(void);