static Producer<S> gzFileTokenReaderForUnstruct(File f) ctex {
  GZIPInputStream gis = newGZIPInputStream(f);
  BufferedReader bufferedReader = bufferedReader(utf8Reader(gis));
  ret javaTokC_noMLS_onReader(bufferedReader);
}