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