pub const evm_insn_group_EVM_GRP_HALT: evm_insn_group = 15;