pub const ppc_insn_PPC_INS_MFTBHI: ppc_insn = 743;