If it did it would block. This implementation guarantees uniqueness of the tokens, and provides liveness.