pub const ppc_reg_PPC_REG_F4: ppc_reg = 25;