master_pid 944 user/usertests.c int master_pid = getpid(); master_pid 959 user/usertests.c kill(master_pid);