pub const evm_insn_EVM_INS_REVERT: evm_insn = 253;