public static int getVersionCounter(Program program) {
		Options options = program.getOptions(SPEC_EXTENSION);
		return options.getInt(VERSION_COUNTER_OPTIONNAME, 0);
	}
Get version of CompilerSpec extensions stored with the Program
@param program is the given Program
@return the version number
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/SpecExtension.java