docs: @Override
    public void setNextPageID(int next_page_id) {
      this.nextPageID = next_page_id;
      while(!emptyPages.isEmpty() && emptyPages.peek() >= this.nextPageID) {
        emptyPages.pop();
      }
    }