package body Sorok is

      procedure Hiext( S: in out Sor; E: in Elem ) is
      begin
          S.Adatok(S.Putter) := E;
          S.Putter := (S.Putter mod S.Max) + 1; 
          S.Size := S.Size + 1;
      end;

      procedure Lopop( S: in out Sor; E: out Elem ) is
      begin
          E := Lov(S);
          S.Getter := (S.Getter mod S.Max) + 1; 
          S.Size := S.Size - 1;
      end;

      function Lov( S: Sor ) return Elem is
      begin
          return S.Adatok(S.Getter);
      end;

      function Is_Empty( S: Sor ) return Boolean is
      begin
          return Size(S) = 0;
      end;

      function Is_Full( S: Sor ) return Boolean is
      begin
          return Size(S) = S.Max;
      end;

      function Size( S: Sor ) return Natural is
      begin
          return S.Size;
      end;

end Sorok;