SMT_MITIGATIONS_OFF
case SMT_MITIGATIONS_OFF:
if (smt_mitigations == SMT_MITIGATIONS_OFF)
(smt_mitigations != SMT_MITIGATIONS_OFF);
#define smt_mitigations SMT_MITIGATIONS_OFF
smt_mitigations = SMT_MITIGATIONS_OFF;
smt_mitigations = SMT_MITIGATIONS_OFF;