Re: [GHC] #10413: Incorrect offsets for array size indexing