extern void read_config_file(char *);
extern void init_global_config(void);