protected String stringifySpace(AddressSpace space) {
		if (space == null) {
			return "unknown";
		}
		return space.getName();
	}
Convert the given address space to a string as it should be conventionally displayed.

@param space the address space
@return the display string, i.e., its name
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/app/util/pcode/AbstractAppender.java