pub const evm_insn_EVM_INS_PUSH32: evm_insn = 127;