void
get_uuid(char *);