[pypy-dev] Questions about CFFI and JITted callbacks