mozilla/directory/tools/misc/demangle
