pub const ppc_reg_PPC_REG_F10: ppc_reg = 31;