s1 = NULL; 
static char *add_karaoke_title(char *s1, char *s2){    char *ks;    int k1, k2;    if(s1 == NULL)	return safe_strdup(s2);    k1 = strlen(s1);    k2 = strlen(s2);    if(k2 == 0)	return s1;    ks = (char *)safe_malloc(k1 + k2 + 2);    memcpy(ks, s1, k1);    ks[k1++] = ' ';    memcpy(ks + k1, s2, k2 + 1);    free(s1);    return ks;}
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/63d1fdc75f76d3467b5c553f521366111cea98c6/readmidi.c/clean/timidity/readmidi.c