foreach (Cat c in *cats) System.Console.WriteLine(c.Name);