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