ENV(,500000,1000)

main(argc,argv)
int argc;
char *argv[];
{

	INITENV

	/* Here is where double @ is replaced by the name of routine */

	@@();

	xx_kill_daemon();
	xx_kill_grandkids();

} /* end main */