static IntRange shrinkIntRange(IntRange r, int i) {
  ret r == null ? null : intRange(r.start+i, r.end-i);
}