// a deflater that writes out buffered data on flush()
// (and also flushes the underlying stream)
// You can use this for highly compressed piece-wise streams
// such as logs or websockets.
static DeflaterOutputStream deflaterOutputStream_syncFlush(File f) ctex {
  ret new DeflaterOutputStream(newFileOutputStream(f), true);
}

static DeflaterOutputStream deflaterOutputStream_syncFlush(OutputStream out) ctex {
  ret new DeflaterOutputStream(out, true);
}