util.uuid()

Return a pseudo-UUID.