static IntRange emptyIntRange(int start) {
  ret new IntRange(start, start);
}