docs: @NotNull
      public File createFile(@NotNull final Transaction txn, final long fileDescriptor, @NotNull final String path) {
          while (true) {
              long current = fileDescriptorSequence.get();
              long next = Math.max(fileDescriptor + 1, current);
              if (fileDescriptorSequence.compareAndSet(current, next))
                  break;
          }
          return doCreateFile(txn, fileDescriptor, path);
      }