[pypy-dev] Question about extension support