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