dumpabort
__dead void dumpabort(int signo);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
signal(SIGTERM, dumpabort); /* Slave sends SIGTERM on dumpabort() */
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);