# define GETARGS_H_
/* flags set by % directives */
-extern char *spec_file_prefix; /* for -b */
-extern char *spec_name_prefix; /* for -p */
-extern char *skeleton;
+extern char *spec_file_prefix; /* for -b */
+extern char *spec_name_prefix; /* for -p */
+extern const char *skeleton; /* for -S */
+extern const char *include; /* for -I */
extern int debug_flag; /* for -t */
extern int defines_flag; /* for -d */
extern int locations_flag;
extern int no_lines_flag; /* for -l */
extern int no_parser_flag; /* for -n */
-extern int raw_flag; /* for -r */
-extern int statistics_flag;
extern int token_table_flag; /* for -k */
extern int verbose_flag; /* for -v */
+extern int error_verbose_flag; /* for -e */
+extern int graph_flag; /* for -g */
extern int yacc_flag; /* for -y */
+extern int trace_flag;
void getargs PARAMS ((int argc, char *argv[]));