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