pub const ppc_reg_PPC_REG_CR4: ppc_reg = 16;