I will put a new C++ demangler in Linux binutils, which should fix all known bugs in the old demangler. It is written in C++. It will be enabled only if there is a working C++ compiler. Otherwise, the old demangler will be used. I am enclosing the patch here in case someone is interested. H.J.