docs: void populateAnyNavigationFrames(int pathTokenIndex, int len) {
          // populate "recursive" multi-positions
          if (multiPositions == null) {
              // lazy-init only if necessary
              multiPositions = new ArrayDeque<NavigationFrame>();
          }
          for (int cellIndex = len - 1; cellIndex > 0; cellIndex--) {
              multiPositions.addFirst(new NavigationFrame(cd, pathTokenIndex, cellIndex, in.position(), offset));
          }
      }