Struggling with x86. Why isn’t dest updated when I called cmpxchg successfully?