WCOREDUMP         667 src/crontab.c  				WCOREDUMP(waiter) ? "" : "no ");
WCOREDUMP         580 src/do_command.c 			if (WIFSIGNALED(waiter) && WCOREDUMP(waiter))
WCOREDUMP          87 src/externs.h  #ifndef WCOREDUMP