static int gzInputStream_defaultBufferSize = 65536;

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

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

static GZIPInputStream gzInputStream(InputStream in) ctex {
  ret new GZIPInputStream(in, gzInputStream_defaultBufferSize);
}