// This seems like a sweet spot. Small values like 1024 slow things down
// noticeably, big values like 1 MB do too (probably due to GC).
static int defaultBufferedOutputStreamSize() {
  ret 65536;
}