if(!umid_inited) return; 
if (!umid_owned) return; 
void remove_umid_dir(void){	char dir[strlen(uml_dir) + UMID_LEN + 1];	if(!umid_inited) return;	sprintf(dir, "%s%s", uml_dir, umid);	actually_do_remove(dir);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3a02d6c051cf3c214aab38e4330b4bcec5f6e3f8/umid.c/buggy/arch/um/kernel/umid.c