//
// Author: Hongwei Xi (August 2007)
//
(* ****** ****** *)
//
// How to compile:
//   atscc -o HelloWorld HelloWorld.dats
// How to test:
//   ./HelloWorld
//
(* ****** ****** *)

implement main () = begin
  print ("Hello, world!"); print_newline ()
end // end of [main]

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

(* end of [HelloWorld.dats] *)