A comment is any character sequence within comment brackets (* and *) in which comment brackets are properly nested.
(*
*)
