presto-main/src/main/java/io/prestosql/operator/index/UnloadedIndexKeyRecordSet.java/UnloadedIndexKeyRecordSet/getPositions
class UnloadedIndexKeyRecordSet:        private IntList getPositions()
        {
            return positions;
        }