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