public void serialize(BinaryWriter writer) { writer.Write(time); writer.Write(magic); upper.serialize(writer); }