Improving messages and types in GDB’s Python API | Hacker News Reader