#include <unistd.h>

_syscall0(pid_t, getpid);