#include #include "syscall.h" pid_t getpid(void) { return __syscall(SYS_getpid); } #ifdef TEST int main(void) { return 0; } #endif