1with Addr12_B; 2with Addr12_C; 3with System; 4 5package body Addr12_A is 6 7 First_Address : constant System.Address := Addr12_C.First'Address; 8 Second_Address : constant System.Address := Addr12_C.Second'Address; 9 10 First_Channel : Addr12_B.Shared_Context_Type := Addr12_B.Initial_State 11 with Volatile, Async_Readers, Address => First_Address; 12 13 Second_Channel : Addr12_B.Shared_Context_Type := Addr12_B.Initial_State 14 with Volatile, Async_Readers; 15 16 for Second_Channel'Address use Second_Address; 17 18 procedure Do_Stuff is null; 19 20end Addr12_A; 21