Re: cmpxchgl on x86?