[pypy-dev] patch for __getattribute__()