svoid zipToLineComp(File zip, File lc) {
  new LineCompCompressor comp;
  comp.loadTexts(zipFileToStringMap(zip));
  comp.run();
  lcSaveToFile(comp, lc);
  print("Zip:      " + renderFileInfo(zip));
  print("LineComp: " + renderFileInfo(lc));
}