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