1pragma Restrictions (No_Implicit_Loops);
2
3package TLS1_Pkg is
4   Type My_Record_Type is record
5      Date : long_float;
6      Point : Integer;
7   end record;
8
9   type Nb_Type is range 0 .. 500;
10   subtype Index_Type is Nb_Type range 1 .. 500;
11
12   type My_Array_Type is array (Index_Type) of My_Record_Type;
13
14   type My_Pseudo_Box_Type is record
15      Nb : Nb_Type;
16      Data : My_Array_Type;
17   End record;
18
19   My_Array : My_Pseudo_Box_Type := (Nb => 10,
20     Data => (others => (Date => 3.0, Point => 1)));
21   pragma Thread_Local_Storage (My_Array);
22
23end TLS1_Pkg;
24