if(only_if_set && umid_is_random) return(NULL); return(umid); 
if(only_if_set && umid_is_random) return NULL; return umid; 
char *get_umid(int only_if_set){	if(only_if_set && umid_is_random) return(NULL);	return(umid);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3a02d6c051cf3c214aab38e4330b4bcec5f6e3f8/umid.c/buggy/arch/um/kernel/umid.c