static Int mruCacheSize(Map map) {
  ret maxSizeOfMRUCache(map);
}