package StackPkg is

    type Stack is limited private;

    moreint: integer := 33;

    Stack_Empty: exception; -- Raised if do top or pop on an empty stack
    Stack_Full : exception; -- Raised if push onto full stack

        -- Determine if stack is empty or full
    function IsEmpty (S : Stack) return Boolean;
    function IsFull  (S : Stack) return Boolean;

        -- Put element Item onto Stack S
    procedure Push (Item : integer; S : in out Stack);

        -- Remove an element from Stack S
    procedure Pop  (S : in out Stack);

        -- Return top element from Stack S
    function  Top   (S : Stack) return integer;

private

    size: constant Natural := 100;
    type StackElements is array(1..Size) of integer;

    type Stack is record
        Elements : StackElements;
        Top : Integer := 0;
    end record;

    anotherint: integer := 33;

end StackPkg;