@Override
	DBRecord getRecordAtOrAfter(Address addr) throws IOException {
		AddressKeyRecordIterator it = new AddressKeyRecordIterator(instTable, addrMap, addr, true);
		return it.next();
	}
@see ghidra.program.database.code.InstDBAdapter#getRecordAtOrAfter(long)
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/code/InstDBAdapterV1.java