// 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 where each piece is compressed
// using the dictionaries of earlier pieces.
// TODO: Does this work in JavaScript?
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);
}