svoid lineCompToZip(File in, File out) {
  LineCompReader lcr = new(in);
  temp ZipOutputStream zip = newZipOutputStream(out);
  for (S version : lcr.versions())
    zip_addTextFile(zip, version, lcr.getText(version));
}