public static String demangle(String symbol) {
		if (symbol.startsWith("_R")) {
			symbol = symbol.substring(2);
		}
		else if (symbol.startsWith("R")) {
			symbol = symbol.substring(1);
		}
		else if (symbol.startsWith("__R")) {
			symbol = symbol.substring(3);
		}

		if (!symbol.matches("\\A\\p{ASCII}*\\z")) {
			return null;
		}

		Symbol cursor = new Symbol(symbol);

		return RustPath.parse(cursor).toString();
	}
Demangles a symbol according to the format
@param symbol the mangled symbol name
@return the demangled symbol name
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/analysis/rust/demangler/RustDemanglerV0.java