5 Max_Components
: constant := 100;
6 type Count_Type
is new Natural range 0 .. Max_Components
;
7 subtype Index_Type
is Count_Type
range 1 .. Count_Type
'Last;
9 type List_Type
is array (Index_Type
range <>) of Integer;
11 type Record_Type
(Count
: Count_Type
:= 0) is record
12 List
: List_Type
(1 .. Count
);
15 Null_Record
: Record_Type
(Count
=> 0);
17 List_Last_Bit
: Integer := Null_Record
.List
'Last_Bit;