FNRET(root); 
return root; 
readCibXml(char *buffer){	xmlNodePtr root = string2xml(buffer);	if (verifyCibXml(root) == FALSE) {		free_xml(root);		FNRET(createEmptyCib());	}	FNRET(root);}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/e096a2906dea1664d64bb7bb2c0e2f5d325541e7/cibio.c/buggy/crm/cib/cibio.c