version.write(dout);
version.write((OutputStream) dout);
  public void write(java.io.OutputStream out)  {    try      {        DataOutputStream dout = new DataOutputStream(out);        // Write magic sequence.        dout.write(MAGIC);        // Write version number.        version.write(dout);        dout.write(flags);        dout.write(message_type);        dout.writeInt(message_size);      }    catch (IOException ex)      {        throw new MARSHAL(ex.toString());      }  }