6 static void \u0046oo ()
10 public static int Main ()
12 const string a = "\U00010041";
13 const string b = "\U0010FEDC";
15 Console.WriteLine ((int) a[0]);
16 if ((int) a[0] != 0xD800)
19 Console.WriteLine ((int) a[1]);
20 if ((int) a[1] != 0xDC41)