generic
   type Element is private;
   Queue_Size : Positive := 10;

package Queue_Pack_Generic is

type Element is private;

type Queue_Type is limited private;

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

type List is array (Marker'Range) of Element;

Queue_Size : Positive := 10;

Queueoverflow, Queueunderflow : exception;

Queueunderflow : exception;

procedure Enqueue 
(
Item
:     Element;
Queue
: in out Queue_Type);

procedure Dequeue 
(
Item
: out Element;
Queue
: in out Queue_Type);

function Is_Empty 
(
Queue
: Queue_Type) return Boolean;

function Is_Full  
(
Queue
: Queue_Type) return Boolean;