GBL_VERIEXEC
if (gbl_check_pid(0) & GBL_VERIEXEC) {
gbl |= GBL_VERIEXEC;
if (label & GBL_VERIEXEC) {
SLOT_SET(curproc->p_label, GBL_VERIEXEC);
if (label & GBL_VERIEXEC)