6 identifier ({letter}({letter}|{digit})*)
14 int special, n_haakjes;
23 <COM>[^\n\*]*"*"+"/" BEGIN 0;
25 <COM>[^\n\*]*"\n" lineno++;
32 "@if"{ws} return( IF);
33 "@elsif"{ws} return( ELSIF);
34 "@else"{ws} return( ELSE);
35 "@fi"{ws} return( FI);
37 {arrow} return( ARROW);
38 {identifier} return( IDENTIFIER);
41 <CON>[^()]*"(" { n_haakjes++; yymore();}
42 "(" { BEGIN CON; n_haakjes = 1; yymore();}
43 <CON>[^()]*")" { if ( n_haakjes == 1) {