@Override
  public @Nullable RangeMarker getRangeGuard(int start, int end) {
    throw new UnsupportedOperationException();
  }
@Override
  public @Nullable RangeMarker getRangeGuard(int start, int end)