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