docs: public synchronized ByteBuffer getExtraHeader() throws IOException {
      final int size = headersize - INTERNAL_HEADER_SIZE;
      final MapMode mode = writable ? MapMode.READ_WRITE : MapMode.READ_ONLY;
      return file.getChannel().map(mode, INTERNAL_HEADER_SIZE, size);
    }