pub const ppc_reg_PPC_REG_R25: ppc_reg = 112;