MODULE Comments; (* outer comment (* nested comment *) still outer *) VAR x : INTEGER; (* trailing comment *) BEGIN x := 1; (* set x *) x := x + 1 (* no semicolon before END is ok if single stat? here two stats need ";" *) END Comments.