EXFLAG_BCONS_CRITICAL
x->ex_flags |= EXFLAG_BCONS_CRITICAL;
&& (x->ex_flags & EXFLAG_BCONS_CRITICAL) == 0,