[pypy-dev] Re: Debug of PyPy segmentation fault / read of coredump