xmlNodePtr local_cib = readCibXml(buffer); FNRET(activateCibXml(local_cib)); free_xml(local_cib); 
int result = -1; xmlNodePtr local_cib = NULL; FNIN();  local_cib = readCibXml(buffer); result = activateCibXml(local_cib);  FNRET(result); 
activateCibBuffer(char *buffer){    xmlNodePtr local_cib = readCibXml(buffer);    FNRET(activateCibXml(local_cib));    free_xml(local_cib);}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/1527bd277bea88314ec7c1fafa964969da82ef38/cibio.c/clean/crm/cib/cibio.c