Thread-safe “Nifty Counter” (aka, “Schwarz Counter”)

Question

The code for a "Nifty Counter" (aka, a "Schwarz Counter") seems like it would be thread-safe... except for this:

All non-loc