allow 2 orderings for cmpxchg (must be the same)