FNIN(); FNRET(the_cib); 
 return the_cib; 
get_the_CIB(void){	FNIN();	FNRET(the_cib);}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/e096a2906dea1664d64bb7bb2c0e2f5d325541e7/cibio.c/clean/crm/cib/cibio.c