Re: [GHC] #8323: explore ways to possibly use more tag bits in x86_64 pointers