                     /* chkfile.h, 14 Apr 10 */


#define MAX_ARG_FILE_LEN 5000
#define MAX_ARG_PATTERN_LEN 5000

extern BOOL do_trace_progress,
            do_print_location,
            do_mk_ndb,
	    do_space_sep,
	    mk_ndb_all,
	    have_printed_filename,
	    has_dp;
extern DIGIT_CHAR cur_char,
		  last_tok,
		  last_last_tok;
extern CHAR *dir_ptr;
extern CHAR *file_pattern;
extern char *cur_filename;
extern fp_t cur_fp_val;
extern int other_toks;
extern int num_arg_files;
extern int num_arg_patterns;
extern char arg_files[MAX_ARG_FILE_LEN];
extern char arg_patterns[MAX_ARG_PATTERN_LEN];

extern void init_chkfile(void);
extern void process_arg_files(void);
extern void get_next_char(void);

