Use rel semantics of cas instead of acq semantics with full barrier before it in...