docs: private synchronized void mapArray() throws IOException {
      if (map != null) {
        ByteArrayUtil.unmapByteBuffer(map);
        map = null;
      }
      MapMode mode = writable ? MapMode.READ_WRITE : MapMode.READ_ONLY;
      map = file.getChannel().map(mode, headersize, recordsize * numrecs);
    }