class Main {
  io: IO <- new IO;

  main(): Object {
    io.out_string("Hello World\n")
  };
};