large-map

A wrapper to deal with a large number of elements in Map.