1 2 3 4 5 6 7 8
-- { dg-do run } procedure modular2 is type x is mod 2 ** 64; r : x := x'last; begin r := r + 1; end;