pub const ppc_reg_PPC_REG_VS42: ppc_reg = 257;