pub const ppc_insn_group_PPC_GRP_PS: ppc_insn_group = 142;