WCOREFLAG        1339 kern/kern_sig.c 			signum |= WCOREFLAG;
WCOREFLAG          67 sys/wait.h     #define WCOREDUMP(x)	(_W_INT(x) & WCOREFLAG)