@Override
  public void close() throws IOException {
    pagedStorage.lockWrite();
    try {
      //.close() methods are better to be idempotent, i.e. not throw exceptions on repeating calls,
      // but just silently ignore attempts to 'close already closed'. And pagedStorage conforms with
      // that. But in .force() we write file status and other header fields, and without .closed
      // flag we'll do that even on already closed pagedStorage, which leads to exception.
      if (!closed.get()) {
        putHeaderInt(HeaderLayout.FILE_STATUS_OFFSET, FILE_STATUS_PROPERLY_CLOSED);

        force();

        closed.set(true);

        openTelemetryCallback.close();

        //MAYBE RC: it shouldn't be this class's responsibility to close pagedStorage, since not this class creates it?
        //          Better whoever creates it -- is responsible for closing it?
        pagedStorage.close();
      }
    }
    finally {
      pagedStorage.unlockWrite();
    }
  }
@Override
  public void close()