with 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;