Re: [GHC] #8256: adding locality levels to prefetch# and friends