void set(long startPageNumber, int startSymbolOffset, long endPageNumber, int endSymbolOffset) {
    setStart(startPageNumber, startSymbolOffset);
    setEnd(endPageNumber, endSymbolOffset);
  }
void set(long startPageNumber, int startSymbolOffset, long endPageNumber, int endSymbolOffset)