14 static void Verify_1 (out Test a, out Test b)
19 static void Verify_2 (ref S a, ref S b)
24 static void Verify_3 (out E a, out E b)
29 public static int Main ()
32 Verify_1 (out t1, out t2);
35 Verify_2 (ref s1, ref s2);
38 Verify_3 (out e1, out e2);