1package Ghost3 is
2   type Small_Int is new Natural range 0 .. 5;
3   type Large_Int is new Natural range 0 .. 5000;
4
5   type Rec_Typ is record
6      Comp_1 : Small_Int;
7      Comp_2 : Large_Int;
8   end record;
9
10   generic
11      type Any_Typ;
12   package Gen is
13   end Gen;
14
15   package Freezer with Ghost is
16      package Inst is new Gen (Rec_Typ);
17   end Freezer;
18
19   procedure Dummy;
20end Ghost3;
21