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;}