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