class Main inherits IO {
   main(): Object {
	out_string("Hello World.\n")
   };
};