312       Lov  : Uint;  variable
413          Lov := Expr_Value (Lo);
418          if Hiv < Lov then
426          if Hiv = Lov
460             Rng : constant Uint := Hiv - Lov + 1;
480          if not UI_Is_In_Int_Range (Lov)
3443          Lov : Uint;  variable
3459          Lov := Expr_Value (Lo);
3506          if Hiv < Lov
3517             Vals : array (UI_To_Int (Lov) .. UI_To_Int (Hiv))
3528             Num          : Int := UI_To_Int (Lov);
6205             Lov : constant Int := UI_To_Int (Lob);  constant
6208             Len : constant Nat := Int'Max (0, Hiv - Lov + 1);