pub const ppc_reg_PPC_REG_F31: ppc_reg = 52;