generic
   type Element is (<>);
   type Queue_Enum is (<>);
   Queue_Size : Positive;

package Queues_Pack_Protected_Ordered_Generic is

type Element is (<>);

type Queue_Enum is (<>);

type Queue_Type is limited private;

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

type Markers is array (Queue_Enum) of Marker;

type Readouts is array (Queue_Enum) of Boolean;

type Element_and_Readouts is record
      Elem  : Element; -- Initialized to invalids
      Reads : Readouts := All_Read;
   end record;

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

Queue_Size : Positive;

All_Read  : constant Readouts := (others => True);

None_Read : constant Readouts := (others => False);