Typing stubs for gdb
