[GHC] #9315: Weird change in allocation numbers of T9203