private XElement ExportHeader(SmalltalkArchiveHeader header)
 {
     return(new XElement("Header",
                         new XAttribute("version", header.Version),
                         new XAttribute("classes", header.NumBehaviors),
                         new XAttribute("objects", header.NumObjects),
                         new XAttribute("rootObjectId", header.RootObjectId)
                         ));
 }
 private void dumpHeader(System.IO.Stream stream, SmalltalkArchiveHeader header)
 {
     stream.WriteByte(ESC);
     WriteInteger(stream, header.Version);
     WriteInteger(stream, header.NumBehaviors);
     WriteInteger(stream, header.NumObjects);
     WriteInteger(stream, header.RootObjectId);
     stream.WriteByte(NUL);
 }