process_cib_request(const char *op, const xmlNodePtr options, const xmlNodePtr fragment) 
process_cib_request( const char *op, const xmlNodePtr options, const xmlNodePtr fragment) 
process_cib_request(const char *op,		    const xmlNodePtr options,		    const xmlNodePtr fragment){	enum cib_result result = CIBRES_OK;	const char *section = xmlGetProp(fragment, XML_ATTR_SECTION);	if(section != NULL) {		set_xml_property_copy(			options, XML_ATTR_FILTER_TYPE, section);	}	return cib_process_request(op, options, fragment, &result);}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/7eda6c5036f39adcd7b622c4469f9e9132dfe916/cib.c/buggy/crm/cib/cib.c