static IntRange charRangeToTokenRange(L<S> tok, IntRange r) {
  ret r == null ? null : new IntRange(
    charToTokenIndex_left(tok, r.start),
    charToTokenIndex_right(tok, r.end));
}