static byte[] bytesFromDataOutputStream(IVF1WithExceptions<DataOutputStream> r) ctex {
  var baos = new ByteArrayOutputStream;
  var dos = dataOutputStream(baos);
  r.get(dos);
  ret baos.toByteArray();
}