public byte[] Save(bool withNiceNames)
{
// Create the writer:
BinaryIO.Writer writer = new BinaryIO.Writer();
// Magic number:
writer.Write('L');
writer.Write('I');
writer.Write('M');
// Loader version and flags:
writer.WriteCompressed(0);
// Save properties:
SaveProperties(writer, withNiceNames, true);
// Save the root:
Root_.Write(writer);
// Ok!
return(writer.GetResult());
}