static int gzInputStream_defaultBufferSize = 65536;

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

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