pub const ppc_insn_PPC_INS_EVMHESSFAAW: ppc_insn = 412;