On 8 February 2018 at 14:05, Paul Smith wrote:
> Isn't the problem with the mangled name, which otherwise would be just
> what we wanted since it's easy to match and is unique in just the way
> we want it to be, that mangling is not standardized?

No, because mangling is standardized:

The *demangled* name doesn't have a fixed, canonical form.

Reply via email to