using System.Text.Json.Serialization; namespace SVSim.BattleNode.Protocol.Bodies; public sealed record BattleFinishBody( [property: JsonPropertyName("result")] int Result, [property: JsonPropertyName("resultCode")] int ResultCode = 1) : IMsgBody;