(* This is a comment.
It may extend across multiple lines. *)
{ Alternatively curly braces
can be used. }
/* C-style multi-line comments
are supported */
// and single-line C++ style comments too