pub const evm_insn_EVM_INS_PUSH25: evm_insn = 120;