Measure size of HashMap [dev.]