class Hello { static Main () : void { System.Console.WriteLine ("Hello world!"); } }