val () =
    let
        val SOME _ = TextIO.inputLine TextIO.stdIn
    in
        print "Hello World!"
    end