1package Wide_Boolean_Pkg is 2 3 type TBOOL is new BOOLEAN; 4 for TBOOL use (FALSE => 0, TRUE => 1); 5 for TBOOL'SIZE use 8; 6 7 type TUINT32 is mod (2 ** 32); 8 for TUINT32'SIZE use 32; 9 10 type TREC is 11 record 12 H : TUINT32; 13 B : TBOOL; 14 end record; 15 for TREC use 16 record 17 H at 0 range 0..31; 18 B at 4 range 0..31; 19 end record; 20 21 procedure Modify (LH : in out TUINT32; LB : in out TBOOL); 22 pragma export(C, Modify, "Modify"); 23 24end Wide_Boolean_Pkg; 25