package Queue_Pack_Private is

type Element is new Positive range 1 .. 1000;

type Queue_Type is limited private;

type Marker is mod Queue_Size;

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

Queue_Size : constant 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;