int readconfig(char *config_file);