public int getNumExtraFileIds() {
		return extraFileIds.size();
	}
Returns the number of extra file IDs
@return the number
Ghidra/Features/PDB/src/main/java/ghidra/app/util/bin/format/pdb2/pdbreader/C13ExtendedInlineeSourceLine.java