pub const ppc_reg_PPC_REG_F25: ppc_reg = 46;