if(int_new_value >= int_old_value) 
if(int_new_value >= int_old_value) { 
check_generation(xmlNodePtr newCib, xmlNodePtr oldCib){	char *new_value = xmlGetProp(newCib, "generation");	char *old_value = xmlGetProp(oldCib, "generation");	int int_new_value = -1;	int int_old_value = -1;	if(old_value != NULL) int_old_value = atoi(old_value);	if(new_value != NULL) int_new_value = atoi(new_value);		if(int_new_value >= int_old_value)		return TRUE;	return FALSE;}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/bfcf599d02a25b26b931c967673ba2fdaa5967f7/cibmessages.c/buggy/crm/cib/cibmessages.c