Partial symbol table loader: The index loader is responsible for loading in symbol names and connecting them to their respective compilation units (CUs), leaving the parsing and building of their symbol tables to the full loader. (gdb) pi >>> objfile = gdb.lookup_objfile("servo") >>> type = gdb.init_type(objfile, gdb.TYPE_CODE_INT, 24, "long short int") >>> objfile.add_type_symbol("long short int", type) >>> gdb.lookup_type("long short int") <gdb.Type code=TYPE_CODE_INT name=long short int> Overall, this winter at Trail of Bits produced more informative messages the ability to create supported types in GDB’s Python API, which is helpful when you don’t have symbols for the code you’re working on.