cmpxchg flags are wrong