#ifndef _MAIN_H
#define _MAIN_H

extern const char pcore_Banner  [] ;
extern const char pcore_Version [] ;
extern const char pcore_OptionHelp [] ;

extern char *	pcore_config_file      ;
extern int	pcore_opt_must_print_banner ;
extern int	pcore_opt_long_prog_name ;
extern int	pcore_arg_meaning ;
extern int	pcore_argc ;
extern char **	pcore_argv ;
extern Queue	pcore_command_queue ;


enum pcore_arg_meanings {
  pcore_argv_is_file_and_args,
  pcore_argv_is_tokens,
  pcore_argv_is_just_args
};

#endif /* main.h */
