/* Copyright (C) 1995 DJ Delorie, see COPYING.DJ for details */
#include <unistd.h>

pid_t
getppid(void)
{
  return 1;
}