private boolean isMacho(String executableFormat) {
		return executableFormat != null && executableFormat.indexOf(MachoLoader.MACH_O_NAME) != -1;
	}
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