Pretty GDB output with C++ STL.