pub const ppc_reg_PPC_REG_CTR: ppc_reg = 3;