A comment is an arbitrary character sequence opened by (* and closed by *). Comments can be nested and can extend over more than one line.
(*
*)
