return cib_process_request(op, fragment, options, &result); 
return cib_process_request(op, options, fragment, &result); 
process_cib_request(const char *op,		    const xmlNodePtr options,		    const xmlNodePtr fragment){	enum cib_result result = CIBRES_OK;	return cib_process_request(op, fragment, options, &result);}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/d02f471aa992d582b154529b8e7451f5c9e95620/cib.c/buggy/crm/cib/cib.c