#include "lib.h"

PUBLIC int getpid()
{
  return callm1(MM, GETPID, 0, 0, 0, NIL_PTR, NIL_PTR, NIL_PTR);
}