1 public static class Console
 2 {
 3     static nothrow Console() : 
 4         in(new System.IO.InputFileStream(System.IO.stdin)), 
 5         out(new System.IO.OutputFileStream(System.IO.stdout)), 
 6         err(new System.IO.OutputFileStream(System.IO.stderr))
 7     {
 8     }
 9     public static void Write(bool b)
10     {
11         out->Write(b);
12     }
13     public static void Write(int i)
14     {
15         out->Write(i);
16     }
17     public static void WriteLine(bool b)
18     {
19         out->WriteLine(b);
20     }
21     public static void WriteLine(int i)
22     {
23         out->WriteLine(i);
24     }
25     // ...
26     public static System.IO.InputStream& In()
27     {
28         return *in;
29     }
30     public static System.IO.OutputStream& Out()
31     {
32         return *out;
33     }
34     public static System.IO.OutputStream& Error()
35     {
36         return *err;
37     }
38     private static System.UniquePtr<System.IO.InputStream> in;
39     private static System.UniquePtr<System.IO.OutputStream> out;
40     private static System.UniquePtr<System.IO.OutputStream> err;
41 }
42 
43 public void main()
44 {
45     Console.WriteLine(true);
46     int x = 1;
47     Console.WriteLine(x);
48     Console.Out() << "ABC" << 123 << System.endl();
49 }