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