begin
  var b: IntRange := 1..5;
  Assert((b.Low=1) and (b.High=5));
end.