static IntRange tokenRangeToCharRange(IntRange range) {
new IntRange(
    tokenToCharIndex(range.start)