private int f_read_count;
get { ++f_read_count; return f; }
public int ReadCount { get { return f_read_count; } }
public static void Main()
Console.WriteLine("f0 = {0}", f0);
Console.WriteLine("f1 = {0}", f1);
Console.WriteLine("c.Field = {0}", c.Field);
Console.WriteLine("c.ReadCount = {0}", c.ReadCount);