static GZIPOutputStream gzipOutputStream_syncFlush(File f) ctex {
  ret new GZIPOutputStream(newFileOutputStream(f), true);
}