Re: [patch] Fix corruption of non-C++ symbols by the demangler