ENV

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

INITENV

/* Here double @ replaced by routine name */

@@();

xx_kill_grandkids();
xx_kill_daemon();

}
