// no more magic cast (Java 8)
static O unstructureGZFile(File f) ctex {
  BufferedReader reader = utf8BufferedReader(gzInputStream(f));
  ret unstructure_tok(javaTokC_noMLS_onReader(reader), false, null);
}