dumpabort
void dumpabort(int signo) __dead2;
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
dumpabort(0);
signal(SIGTERM, dumpabort); /* Worker sends SIGTERM on dumpabort() */
dumpabort(0);