Constant HARD_ARITH_FALLBACK_MAX_CANDIDATES_PER_VAR 

pub(crate) const HARD_ARITH_FALLBACK_MAX_CANDIDATES_PER_VAR: usize = 24;