#include int syscall_kill(pid_t pid, int sig);