VERIEXEC_IPS
case VERIEXEC_IPS: {
if (veriexec_strict >= VERIEXEC_IPS)
((veriexec_strict >= VERIEXEC_IPS) &&
if (veriexec_strict >= VERIEXEC_IPS) {
if (veriexec_strict >= VERIEXEC_IPS) {
if (veriexec_strict < VERIEXEC_IPS)
case VERIEXEC_IPS:
if (veriexec_strict < VERIEXEC_IPS)