3 with System, Ada.Unchecked_Conversion;
4 procedure alignment3 is
6 type Value_Type (Is_Short : Boolean) is record
8 when True => V : Natural;
9 when others => A, B : Natural;
13 type Link_Type (Short_Values : Boolean) is record
14 Input, Output : Value_Type (Short_Values);
15 Initialized : Boolean;
19 type Link_Access is access Link_Type;
21 type Natural_Access is access all Natural;
22 function To_Natural_Access is
23 new Ada.Unchecked_Conversion (System.Address, Natural_Access);
27 procedure N_Probes_For (Link : Link_Access) is
29 Ptr := To_Natural_Access (Link.N_Probes'address);
30 Ptr := To_Natural_Access (Link.Initialized'address);