if(umid == NULL) return(base); 
if(umid == NULL) return base; 
char *add_xterm_umid(char *base){	char *umid, *title;	int len;	umid = get_umid(1);	if(umid == NULL) return(base);		len = strlen(base) + strlen(" ()") + strlen(umid) + 1;	title = kmalloc(len, GFP_KERNEL);	if(title == NULL){		printk("Failed to allocate buffer for xterm title\n");		return(base);	}	snprintf(title, len, "%s (%s)", base, umid);	return(title);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b97b77cca627b2e3e6d0015e2e14b1d1c12de0c8/line.c/buggy/arch/um/drivers/line.c