[pypy-dev] rffi strict typing