demangle C++ symbols