static IntRange tokenRangeToCodeTokens(IntRange r) {
  ret r == null ? null : IntRange((r.start | 1)/2, r.end/2);
}