let main stdin =
  print_string "Hello World!\n";;