1package 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
11end Constant1_Pkg;
12