eprintf(char *f, ...)
{
  char buf[1000];
  vsprintf(buf, f, (&f)+1);
  write(2, buf, strlen(buf));
}

exit(n)
{
  _exit(n);
}

__main()
{
}