#if 0
/* XXX FIXME */
void
syslog(int x, char *msg)
{
	logMsg(msg);
}
#endif

/* XXX null stubs */
void openlog() {}
void closelog() {}

void exit_hack(int num)
{
	printf("exit %d\n",num);
	taskSuspend(0);
}