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