if(read_config_file(arg, 0)) return false; got_a_configuration = 1; return true; 
if (read_config_file(arg, 0)) return false; got_a_configuration = 1; return true; 
static inline bool parse_opt_c(const char* const arg){    if(read_config_file(arg, 0))	return false;    got_a_configuration = 1;    return true;}
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/c992099a6189578c646e487a6f741b805160b425/timidity.c/buggy/timidity/timidity.c