The example originally showed a certain deadlock, which was not as clear as it could be. The new version shows intentionally racy code that may result in a successful execution but may also deadlock.