demangle_name_gcc3
const char* demangle_name_gcc3(const char* name, char* buffer,
const char* demangled = demangle_name_gcc3(mangledName.String(), buffer,