/*
** Inserted at beginning of c files generated by flex
** REMEMBER:  Change flex.reset too.
*/

/*@-allmacros@*/
/*@-pred@*/
/*@-globstate@*/
/*@-null@*/
/*@+boolint@*/
/*@+charint@*/
/*@-macrospec@*/
/*@-macroredef@*/
/*@-exitarg@*/
/*@-compdef@*/
/*@-uniondef@*/
/*@+ignorequals@*/
/*@-noreturn@*/
/*@-mustfree@*/
/*@-compdestroy@*/
/*@-branchstate@*/
/*@-unreachable@*/
/*@-varuse@*/
/*@-fcnuse@*/
/*@-exportlocal@*/
/*@-evalorderuncon@*/
/*@-exportheader@*/
/*@-redecl@*/
/*@-loopswitchbreak@*/
/*@-switchswitchbreak@*/
/*@-sizeoftype@*/
/*@-czechfcns@*/
/*@-noparams@*/
/*@-ansireserved@*/
/*@-ifblock@*/
/*@-whileblock@*/
/*@-forblock@*/
/*@-elseifcomplete@*/
/*@+ptrnegate@*/
/*@-onlytrans@*/
/*@-temptrans@*/
/*@-immediatetrans@*/
/*@-namechecks@*/
/*@+matchanyintegral@*/
/*@-statictrans@*/
/*@-compmempass@*/
/*@-forempty@*/
/*@-evalorder@*/
/*@-retalias@*/
/*@-dependenttrans@*/
/*@-noeffect@*/
/*@-protoparammatch@*/
/*@-casebreak@*/
/*@-retvalother@*/
/*@-exportheader@*/

/*drl added 11/27/2001*/


# ifdef __LCLINT__
/*@-redecl@*/ /*@-type@*/
extern int lsllex (void);
/*@=redecl@*/ /*@=type@*/

/*
** Need to do this because ECHO is defined by the Posix library.  
** flex shouldn't use it.
*/

/*@notfunction@*/
# define ECHO \
  fwrite (yytext, yyleng, 1, yyout)

# ifndef DEFFILENO
extern /*@external@*/ int fileno (/* FILE *stream */);
# define DEFFILENO
# endif
# endif

# ifdef OSF
# undef __GNUC__ 
# endif

/*@-redecl@*/

/* < end of flex.head > */

