[pypy-dev] schedule()