wait_badpid       272 user/testbin/badcall/bad_waitpid.c 	wait_badpid(-8, "wait for pid -8");
wait_badpid       273 user/testbin/badcall/bad_waitpid.c 	wait_badpid(-1, "wait for pid -1");
wait_badpid       274 user/testbin/badcall/bad_waitpid.c 	wait_badpid(0, "pid zero");
wait_badpid       275 user/testbin/badcall/bad_waitpid.c 	wait_badpid(NONEXIST_PID, "nonexistent pid");