NOTE 10 This effectively disallows compiler reordering of atomic operations to a single object, even if
both operations are ‘‘relaxed’’ loads. By doing so, we effectively make the ‘‘cache coherence’’ guarantee
provided by most hardware available to C atomic operations.