pub const ppc_reg_PPC_REG_VS25: ppc_reg = 240;