static DataOutputStream dataOutputStream(File f) ctex {
  ret new DataOutputStream(bufferedOutputStream(newFileOutputStream(f)));
}

static DataOutputStream dataOutputStream(OutputStream out) ctex {
  ret new DataOutputStream(out);
}