static BufferedOutputStream bufferedOutputStream(OutputStream out) {
  if (out == null) null;
  if (out cast BufferedOutputStream) ret out;
  ret new BufferedOutputStream(out, defaultBufferedOutputStreamSize());
}

static BufferedOutputStream bufferedOutputStream(File f) {
  ret bufferedOutputStream(fileOutputStream(f));
}