5 function Ident_Int
(X
: Integer) return Integer is
10 type A
is array (Integer range <>) of Boolean;
11 subtype T1
is A
(Ident_Int
(- 6) .. Ident_Int
(Integer'Last - 4));
12 subtype T2
is A
(- 6 .. Ident_Int
(Integer'Last - 4));
13 subtype T3
is A
(Ident_Int
(- 6) .. Integer'Last - 4);
16 if T1
'Size /= 17179869200 then
20 if T2
'Size /= 17179869200 then
24 if T3
'Size /= 17179869200 then