static IntRange intRange_incl (int start, int end) {
  ret new IntRange(start, end+1);
}