svoid saveLineCompReaderToFile(LineCompReader lc, File f, O... _) ctex {
  optPar bool gzip = true;
  {
    temp OutputStream gos = gzip ? newGZIPOutputStream(f) : bufferedFileOutputStream(f);
    temp Writer writer = new OutputStreamWriter(gos, "ISO-8859-1");
    temp PrintWriter printWriter = new PrintWriter(writer);
    lc.save(printWriter);
  }
  printFileInfo(f);
}