I&#x27;m pretty sure that example is actually fine - if there&#x27;s a concurrent writer, the modified value will be loaded into oldValue. Repeating shared.load is unnecessary since that operation occurs as part of compare_exchange_weak.