// compilation command:
//   atscc -o HelloWorld HelloWorld.dats

implement main (argc, argv) = begin
  print ("Hello, world!"); print_newline ()
end

(* ****** ****** *)

(* end of [HelloWorld.dats] *)