master_pid 908 user/usertests.c int master_pid = getpid(); master_pid 923 user/usertests.c kill(master_pid);