
// replace objdump's idea of what a string is by ours:
#std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >#std::string#
#, std::allocator<XrefData> ##
#unsigned long#size_t#
#, std::allocator<size_t> ##
#, std::hash<size_t>##
#, std::deque<size_t> ##
#, std::equal_to<size_t>##
