private boolean skip(String mangled, RustDemanglerOptions options) {

		// The current list of demangler start patterns

		if (!options.demangleOnlyKnownPatterns()) {
			return false;
		}

		return !isRustMangled(mangled);
	}
Determines if the given mangled string should not be demangled, on the basis
of if it has a known start pattern

@param mangled the mangled string
@param options the options
@return true if the string should not be demangled
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/analysis/rust/demangler/RustDemangler.java