We shouldn't need the loop or check -- if #uuid called twice can't return the same values the check isn't needed. It is good enough, looking at the docs.