module Hello let main = FStar.IO.print_string "Hello World\n"