public static void checkFormatVersion(Program program) throws VersionException {
		Options options = program.getOptions(SPEC_EXTENSION);
		int formatVersion = options.getInt(FORMAT_VERSION_OPTIONNAME, 0);
		if (formatVersion > FORMAT_VERSION) {
			throw new VersionException("Program contains spec extensions with newer/unknown format",
				VersionException.NEWER_VERSION, false);
		}
	}
Check the format version for spec extensions for a given program.
If the program reports a version that does not match the current
number attached to the running tool (FORMAT_VERSION), a VersionException is thrown
@param program is the given Program
@throws VersionException the reported version does not match the tool
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/SpecExtension.java