https://pantsbuild.org/ logo
b

bored-art-40741

03/23/2016, 9:53 PM
It's true there's a race early on, but all that is is a "best effort" to inform you who holds the lock