C++ demangle helper