public static String demangle(String mangledName) {
		int len = mangledName.length();
		StringBuffer buf = new StringBuffer(len);
		boolean foundMangle = false;

		for (int i = 0; i < len; i++) {
			char c = mangledName.charAt(i);
			if (foundMangle) {
				foundMangle = false;
				if (c == MANGLE_CHAR) {
					buf.append(c);
				}
				else {
					buf.append(Character.toUpperCase(c));
				}
			}
			else if (c == MANGLE_CHAR) {
				foundMangle = true;
			}
			else {
				buf.append(c);
			}
		}
		return buf.toString();
	}
Performs the inverse of the mangle method.  A string is returned such that
all characters following a MANGLE_CHAR are converted to uppercase.  Two MANGLE
chars in a row are replace by a single MANGLE_CHAR.

@param mangledName mangled name string
@return demangle name
Ghidra/Framework/FileSystem/src/main/java/ghidra/util/NamingUtilities.java