Re: [GHC] #4470: Loop optimization: identical counters