static CloseableIterableIterator<S> linesFromFile_bounded(File f, long max) ctex {
  if (!f.exists()) ret emptyCloseableIterableIterator();
  InputStream in = ewic(f.getName(), ".gz") ? newGZIPInputStream(f) : newFileInputStream(f);
  ret linesFromReader(utf8bufferedReader(BoundedInputStream(max, in)));
}