identifier_prefix = lowercase | uppercase ; identifier_char = identifier_prefix | digit | '_'; not_eol = [all - [cr + lf]]; not_star = [not_eol - '*'] | eol; not_star_not_slash = [not_eol - ['*' + '/']] | eol;