snprintf(fail_state, len, "%d:%d:%s", 
snprintf(fail_state, len, "%d:%d;%s", 
generate_transition_magic(const char *transition_key, int op_status, int op_rc){	int len = 80;	char *fail_state = NULL;	CRM_DEV_ASSERT(transition_key != NULL);	if(crm_assert_failed) { return NULL; }		len += strlen(transition_key);		crm_malloc0(fail_state, sizeof(char)*len);	if(fail_state != NULL) {		snprintf(fail_state, len, "%d:%d:%s",			 op_status, op_rc, transition_key);	}	return fail_state;}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/e19f84cd208a2e0311733efe2e208798cfa6e8ee/utils.c/buggy/lib/crm/common/utils.c