Hi, I've recently discovered gdb's python API and the pretty printers for the STL types in libstdc++ [1]. Is there something similar for the STL types from STLport? Thanks, Joachim PS: Please CC: me on replies.