/* syscall: "kill" ret: "int" args: "pid_t" "int" */