@Override
	int getRecordCount() throws IOException {
		return instTable.getRecordCount();
	}
@see ghidra.program.database.code.InstDBAdapter#getRecordCount()
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/code/InstDBAdapterV0.java