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