WTERMSIG          122 user/bin/sh/sh.c 		printf("Signal %d (core dumped)", WTERMSIG(status));
WTERMSIG          125 user/bin/sh/sh.c 		printf("Signal %d", WTERMSIG(status));
WTERMSIG           87 user/testbin/badcall/bad_lseek.c 			     WTERMSIG(status));
WTERMSIG          261 user/testbin/crash/crash.c 				printf("Signal %d\n", WTERMSIG(status));
WTERMSIG          263 user/testbin/dirconc/dirconc.c 				    WTERMSIG(status));
WTERMSIG          110 user/testbin/f_test/f_test.c 		warnx("pid %d: signal %d", pid, WTERMSIG(status));
WTERMSIG           78 user/testbin/farm/farm.c 			warnx("pid %d: signal %d", pids[i], WTERMSIG(status));
WTERMSIG          120 user/testbin/forktest/forktest.c 			warnx("pid %d: signal %d", pid, WTERMSIG(x));
WTERMSIG           75 user/testbin/kitchen/kitchen.c 			warnx("pid %d: signal %d", pids[i], WTERMSIG(status));
WTERMSIG          420 user/testbin/psort/psort.c 		complainx("proc %d: signal %d", guy, WTERMSIG(status));
WTERMSIG           83 user/testbin/rmtest/rmtest.c 		warn("child process exited with signal %d", WTERMSIG(status));
WTERMSIG           76 user/testbin/sty/sty.c 			warnx("pid %d: signal %d", pids[i], WTERMSIG(status));
WTERMSIG           72 user/testbin/triplehuge/triple.c 		      WTERMSIG(status));
WTERMSIG           72 user/testbin/triplemat/triple.c 		      WTERMSIG(status));
WTERMSIG           72 user/testbin/triplesort/triple.c 		      WTERMSIG(status));