Re: [pypy-dev] Easy way to get access to cmpxchg?