#include <lib.h>
#define getpid _getpid
#include <unistd.h>
PUBLIC pid_t getpid()
{
message m;
return(_syscall(MM, MINIX_GETPID, &m));
}