#include <unistd.h> #include <syscall.h> #include <sys/types.h> pid_t getpid(void) { return s_syscall(SYS_GETPID); }