pub const evm_insn_EVM_INS_INVALID: evm_insn = 512;