public static String getCompilerSpecExtension(Program program, Type type, String name) {
		String optionName = type.getOptionName(name);
		Options options = program.getOptions(SPEC_EXTENSION);
		return options.getString(optionName, null);
	}
Get the raw string making up an extension, given its type and name
@param program is the program to extract the extension from
@param type is the type of extension
@param name is the formal name of the extension
@return the extension string or null
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/SpecExtension.java