if(event==OC_EV_MS_NEW_MEMBERSHIP || event==OC_EV_MS_NOT_PRIMARY || event==OC_EV_MS_PRIMARY_RESTORED) { 
if(event==OC_EV_MS_NEW_MEMBERSHIP) { 
ccm_have_quorum(oc_ed_t event){	if(event==OC_EV_MS_NEW_MEMBERSHIP 	   || event==OC_EV_MS_NOT_PRIMARY	   || event==OC_EV_MS_PRIMARY_RESTORED) {		return TRUE;	}	return FALSE;}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/7c6abfbb2986f9f3d512d9ca518316d55743fa0b/utils.c/buggy/lib/crm/common/utils.c