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

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