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