[arch-general] GDB C++ pretty printer issues