pub const evm_insn_EVM_INS_MULMOD: evm_insn = 9;