public sealed record TestRecord(int A, string B);