static IntSuffixTree_managed loadOnDiskIntSuffixTree(File treeFile, L<Int> encoding) {
  IIntMemory mem = ROMIntMemoryFromFile(treeFile);
  print(mem.size());
  IntSuffixTree_managed tree = new(mem, 1);
  tree.fullText = encoding;
  tree.dependentCloseables = instancesOfLL AutoCloseable(encoding, mem);
  ret tree;
}