pub const ppc_reg_PPC_REG_V25: ppc_reg = 176;