The `Using a shared mutable counter` example looks like it should be using a `fetch_add`, not a `load` then a `store`.
The
Using a shared mutable counterexample looks like it should be using afetch_add, not aloadthen astore.