#include <stdio.h>

extern int yydebug;
extern char *filename;
extern FILE *yyin;
extern char *yytext;

int yyparse();
void werror(const char *s);
int yylex (void);
void yyerror(const char *s);


typedef enum verbose_options_e {
	VO_TYPEDEF,
	VO_end,
} verbose_options_t;

extern const char *verbose_option_names[];
extern int verbose_options[];