rem: int len = 0; char* basic;
context: int pidf_add_contact(str* _b, int _l, str* _addr, pidf_status_t _st, double priority){	int len = 0;	char* basic;	char priority_s[32];	int priority_len = 0;	switch(_st) {	case PIDF_ST_OPEN:   basic = BASIC_OPEN;   len = BASIC_OPEN_L;   break;	case PIDF_ST_CLOSED: basic = BASIC_CLOSED; len = BASIC_CLOSED_L; break;	default:              basic = BASIC_CLOSED; len = BASIC_CLOSED_L; break; /* Makes gcc happy */	}	priority_len = sprintf(priority_s, "%f", priority);	str_append(_b, CONTACT_START, CONTACT_START_L);	if (pa_pidf_priority) {	  str_append(_b, PRIORITY_START, PRIORITY_START_L);	  str_append(_b, priority_s, priority_len);	  str_append(_b, PRIORITY_END, PRIORITY_END_L);	}	str_append(_b, CONTACT_END, CONTACT_END_L);	str_append(_b, _addr->s, _addr->len);	str_append(_b, CONTACT_ETAG CRLF , 		   CONTACT_ETAG_L + CRLF_L);	str_append(_b, STATUS_STAG CRLF, STATUS_STAG_L + CRLF_L);	str_append(_b, basic, len);	return 0;}