pub(crate) fn exp_expr_for_concrete_exponent( cx: &mut SymCx, base: SymExpr, exponent: usize, ) -> SymExpr