pub const evm_insn_EVM_INS_SHA3: evm_insn = 32;