/*
** Resets flags set by flex.head.
*/


/*@=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@*/
/*@=redecl@*/
/*@=retvalother@*/

# ifdef OSF
# define __GNUC__
# endif