static IntRange tokenRangeFromCodeTokens(IntRange r) {
  ret r == null ? null : IntRange(r.start*2+1, r.end*2);
}