static Int maxSizeOfMRUCache(Map map) {
  ret (Int) getOpt_raw(unwrapSynchronizedMap(map), 'maxSize);
}