with Addr12_B; package Addr12_C is First : Addr12_B.Shared_Context_Type; Second : Addr12_B.Shared_Context_Type; end Addr12_C;