public static String mangle(String name) {
		int len = name.length();
		StringBuffer buf = new StringBuffer(2 * len);

		for (int i = 0; i < len; i++) {
			char c = name.charAt(i);
			if (c == MANGLE_CHAR) {
				buf.append(MANGLE_CHAR);
				buf.append(MANGLE_CHAR);
			}
			else if (Character.isUpperCase(c)) {
				buf.append(MANGLE_CHAR);
				buf.append(Character.toLowerCase(c));
			}
			else {
				buf.append(c);
			}
		}
		return buf.toString();
	}
Returns a string such that all uppercase characters in the given string are
replaced by the MANGLE_CHAR followed by the lowercase version of the character.
MANGLE_CHARs are replaced by 2 MANGLE_CHARs.

This method is to get around the STUPID windows problem where filenames are
not case sensitive.  Under Windows, Foo.exe and foo.exe represent
the same filename.  To fix this we mangle names first such that Foo.exe becomes
_foo.exe.

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