public static List<Pair<String, String>> getCompilerSpecExtensions(Program program) {
		Options options = program.getOptions(SPEC_EXTENSION);
		List<String> optionNames = options.getOptionNames();
		ArrayList<Pair<String, String>> pairList = new ArrayList<>();
		for (String optionName : optionNames) {
			if (isCompilerProperty(optionName)) {
				String value = options.getString(optionName, null);
				if (value != null) {
					pairList.add(new Pair<>(optionName, value));
				}
			}
		}
		return pairList;
	}
Get all compiler spec extensions for the program. The extensions are XML documents
strings, with an associated "option name" string.
Return a list of (optionname,document) pairs, which may be empty
@param program is the Program to get extensions for
@return the list of (optionname,document) pairs
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/SpecExtension.java