pub(crate) fn symbolic_modexp_precompile(
cx: &mut SymCx,
input: &SymBytes,
input_len: SymExpr,
) -> Result<Option<SymReturnData>, SymbolicError>pub(crate) fn symbolic_modexp_precompile(
cx: &mut SymCx,
input: &SymBytes,
input_len: SymExpr,
) -> Result<Option<SymReturnData>, SymbolicError>