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