Constant HARD_ARITH_FALLBACK_MAX_VARS 

pub(crate) const HARD_ARITH_FALLBACK_MAX_VARS: usize = 4;