Symbol: cmpxchg