public void Dump() { DumpInternal(null); }
internal void WriteSerializationHeaderEnd() { MessageEnd record = new MessageEnd(); record.Dump(sout); record.Write(this); }