EXEC_DESTR        259 kern/exec_script.c 		epp->ep_flags |= EXEC_DESTR;
EXEC_DESTR        295 kern/exec_script.c 	epp->ep_flags |= EXEC_DESTR;
EXEC_DESTR        188 kern/kern_exec.c 		if (epp->ep_flags & EXEC_DESTR && error != 0)