OpenIntIntHashMap internalToOriginalMap = new OpenIntIntHashMap();
// original var name -> internal var name
OpenIntIntHashMap sourceIndices = new OpenIntIntHashMap();
IntArrayList sourceValues = readSourceValues(reader, sourceIndices);
for (int originalVarName : sourceIndices.keys().elements())
{
internalToOriginalMap.put(sourceIndices.get(originalVarName), originalVarName);
}
IntArrayList values = new IntArrayList();