2 ** Inserted at beginning of c files generated by flex
3 ** REMEMBER: Change flex.reset too.
29 /*@-loopswitchbreak@*/
30 /*@-switchswitchbreak@*/
44 /*@+matchanyintegral@*/
52 /*@-protoparammatch@*/
56 /*drl added 11/27/2001*/
60 /*@-redecl@*/ /*@-type@*/
61 extern int lsllex (void);
62 /*@=redecl@*/ /*@=type@*/
65 ** Need to do this because ECHO is defined by the Posix library.
66 ** flex shouldn't use it.
71 fwrite (yytext, yyleng, 1, yyout)
74 extern /*@external@*/ int fileno (/* FILE *stream */);
85 /* < end of flex.head > */