5 subtype Index is Natural range 0..5;
6 type BitString is array(Index range <>) of Boolean;
7 pragma Pack(BitString);
9 function Id (I : Integer) return Integer is
14 type E(D : Index) is record
18 subtype E0 is E(Id(0));
20 function F return E0 is
22 return E'(D=>0, C=>(1..0=>FALSE));