gdb_stl_utils for C++ STL