pub const ppc_reg_PPC_REG_CR0: ppc_reg = 12;