generic

   with package Queue_Pack_Abstract_Instantiated is

package Queue_Pack_Abstract_Instantiated is new Queue_Pack_Abstract_Unsync (<>);

type Real_Queue is new Queue_Type with private;

subtype Marker is Natural range 0 .. Queue_Size - 1;

type List is array (Marker) of Element;

Queue_Size : Positive := 10;

Queueoverflow, Queueunderflow : exception;

Queueunderflow : exception;

overriding procedure Enqueue 
(
Item
:     Element;
Queue
: in out Real_Queue);

overriding procedure Dequeue 
(
Item
: out Element;
Queue
: in out Real_Queue);

function Is_Empty 
(
Queue
: Real_Queue) return Boolean;

function Is_Full  
(
Queue
: Real_Queue) return Boolean;