demangle_symbol_gcc3
demangled = demangle_symbol_gcc3(mangledName, buffer, bufferSize,
const char* demangle_symbol_gcc3(const char* name, char* buffer,
demangle_symbol_gcc3("_Z3fooi.part.1.123456.constprop.777.1", buffer, sizeof(buffer), NULL);