public void decode(Decoder decoder) throws DecoderException {
		int elem = decoder.openElement(ELEM_SOURCEFILES);
		while (decoder.peekElement() == ELEM_SOURCEFILE.id()) {
			decoder.openElement();
			String filename = decoder.readString(ATTRIB_NAME);
			int index = (int) decoder.readSignedInteger(ATTRIB_INDEX);
			filenameToIndex.put(filename, index);
			decoder.closeElement(ELEM_SOURCEFILE.id());
		}
		decoder.closeElement(elem);
	}
Decode an index from a stream
@param decoder is the stream
@throws DecoderException for errors in the encoding
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/sleigh/grammar/SourceFileIndexer.java