Do not assume get_uuid() won't throw an exception some time