private boolean isKnownMangledString(String mangled, String demangled) {
		//
		// We get requests to demangle strings that are not mangled.   For newer mangled strings
		// we know how to avoid that.  However, older mangled strings can be of many forms.  To
		// detect whether a string is mangled, we have to resort to examining the output of
		// the demangler.
		//

		// check for the case where good strings have '__' in them (which is valid GNU2 mangling)
		if (isInvalidDoubleUnderscoreString(mangled, demangled)) {
			return false;
		}

		return true;
	}
Determines if the given mangled string should not be demangled.  There are a couple
patterns that will always be skipped.
If {@link GnuDemanglerOptions#demangleOnlyKnownPatterns()} is true, then only mangled
symbols matching a list of known start patters will not be skipped.

<P>This demangler class will default to demangling most patterns, since we do not yet
have a comprehensive list of known start patterns.

@param mangled the mangled string
@param options the options
@return true if the string should not be demangled
Ghidra/Features/GnuDemangler/src/main/java/ghidra/app/util/demangler/gnu/GnuDemangler.java