public record Person(string Name, int Age);