pub const ppc_insn_PPC_INS_EFSCFUI: ppc_insn = 308;