1package body Addr12_B is
2
3   function Initial_State return Shared_Context_Type is
4   begin
5      return Shared_Context_Type'(Data => (others => Null_Entry));
6   end Initial_State;
7
8end Addr12_B;
9