> Ah I see, but what about the short one:

Might be a bug in core.demangle (passing it to the function
directly didn't work either).

I'm not sure though.

Reply via email to