[pypy-dev] benchmarking input