if (get_random_fd() >= 0) 
if (get_random_fd() >= 0) { 
uuid_generate(uuid_t out){	if (get_random_fd() >= 0)		uuid_generate_random(out);	else		uuid_generate_time(out);}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/bfa61a65723dc4e3e777d5fd4f21d2fadd589135/uuid_parse.c/buggy/replace/uuid_parse.c