@Override
	public void insert(StringBuilder builder) {
		dmang.insertString(builder, name);
		if (isTypeCast && castTypeString != null) {
			dmang.appendString(builder, " ");
			dmang.appendString(builder, castTypeString);
		}
	}
Returns the RTTI number:{0-4, or -1 if not an RTTI}
@return int RTTI number:{0-4, or -1 if not an RTTI}
Ghidra/Features/MicrosoftDmang/src/main/java/mdemangler/naming/MDSpecialName.java