public void setUseEncodedAnonymousNamespace(boolean useEncodedNumber) {
		this.useEncodedAnonymousNamespaceNumber = useEncodedNumber;
	}
Sets the option for whether to use or not use the numerical encoding to craft a
unique anonymous namespace.  The default {@code false} is to produce the normal anonymous
namespace string produced by Microsoft's {@code undname}
@param useEncodedNumber {@code true} to produce a namespace that uses the encoded number
Ghidra/Features/MicrosoftDmang/src/main/java/mdemangler/MDOutputOptions.java