Python, gdb and a very large core dump | Hacker News Reader