with Shared_Variable;
pragma Elaborate (Shared_Variable);
package Encapsulate is

    Max : constant := 2;

    subtype Index is Positive range 1 .. Max;

    type Composite is array (Index) of Integer;

    procedure Read (C : out Composite);

    procedure Write (C : in Composite);

    -- THIS IS A HELP FUNCTION FOR TESTING
    function Set_To (I : Integer) return Composite;

    -- THIS IS A HELP FUNCTION FOR TESTING
    function Value_Of (C : Composite) return Integer;

    -- THIS ENTRY IS USED TO SERIALIZE DEBUG OUTPUT TO STANDARD_OUTPUT
    task Msg is
        entry Put (S : String);
    end Msg;

end Encapsulate;


-- WITH TEXT_IO;