pub const ppc_reg_PPC_REG_CR3LT: ppc_reg = 331;