generic
      
      type Elem is private;

package Vermek is

      type Verem is limited private;

      Üres_A_Verem: exception;

      procedure Push( V: in out Verem; E: in Elem );

      procedure Pop( V: in out Verem; E: out Elem );
         -- kiválthat Üres_A_Verem kivételt

      function Top( V: Verem ) return Elem;
         -- kiválthat Üres_A_Verem kivételt

      function Is_Empty( V: Verem ) return Boolean;
      function Is_Full( V: Verem ) return Boolean;
      function Size( V: Verem ) return Natural;

private
      type Csúcs;
      type Mutató is access Csúcs;
      type Csúcs is record
                       Adat: Elem;
                       Következő: Mutató := null;
                    end record;
      type Verem is record
                       Méret: Natural := 0;
                       Veremtető: Mutató := null;
                    end record;
end Vermek;