FNRET(result); 
return result; 
activateCibBuffer(char *buffer, const char *filename){	int result = -1;	xmlNodePtr local_cib = NULL;	FNIN();		local_cib = readCibXml(buffer);	result = activateCibXml(local_cib, filename);		FNRET(result);}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/e096a2906dea1664d64bb7bb2c0e2f5d325541e7/cibio.c/buggy/crm/cib/cibio.c