gcc/testsuite/gnat.dg/specs/constant1_pkg.ads

   1 package Constant1_Pkg is
   2
   3   type Id_T is mod Natural'Last + 1;
   4
   5   type Timer_Id_T is tagged record
   6     Id : Id_T := Id_T'Last;
   7   end record;
   8
   9   Null_Timer_Id : constant Timer_Id_T := (Id => Id_T'Last - 1);
  10
  11 end Constant1_Pkg;