default preprocessing rules.
any_ascii_char ]* '*'/
A comments starts with the two character sequence
and terminates with the first occurrence of the
two character sequence
In between these two delimiters any text, including
newlines and control characters, is allowed.
None of the text has semantic meaning to the program.
A comment can be placed anywhere white-space can appear
in the program.
C convention, comments do not nest.
Comments are stripped from the Promela source in the
preprocessing phase by the