#include <lib.h>
#define getpid	_getpid
#include <unistd.h>

PUBLIC pid_t getpid()
{
  message m;

  return(_syscall(MM, GETPID, &m));
}