(I mean the while stuff above in particular, not the map.iterator)