/* this is, of course, complete bullshit */

int getpid()
{
  return(999);
}