ECOFF_BADMAG       68 kern/exec_ecoff.c 	if (ECOFF_BADMAG(execp))
ECOFF_BADMAG      155 lib/libsa/loadfile.c 	if (!ECOFF_BADMAG(&hdr.coff)) {