static GZIPInputStream gzInputStream(File f) ctex {
  ret new GZIPInputStream(new FileInputStream(f));
}