using System;

using System.Collections.Generic;

public class Program

{

    public record Hello 

    {

        public string World = "earth";

        public IEnumerable<string> Worlds = ["earth", "mars"];

    }

    public static void Main()

    {

        Console.WriteLine(new Hello());

    }

}