static File zipToLineComp(File zip) {
  ret zipToLineComp(zip, replaceExtension(zip, ".lc"));
}

static File 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));
  ret lc;
}