pub const evm_insn_EVM_INS_ADDMOD: evm_insn = 8;