generic
	type Elem is private;

package VEREM_E is	-- verem kivetelkezelessel 

	type Verem is limited private;

        procedure Push ( v: in out Verem; e: Elem );
        procedure Pop ( v: in out Verem );
        function Top ( v: Verem ) return Elem;
	function isEmpty ( v: Verem ) return BOOLEAN;
	
	MAR_URES: exception;	-- ha ures veremre Pop-ot v. Top-ot hivsz
private
	type Node;
	type Pointer is access Node;
	type Node is record
			data: Elem;
			next: Pointer := null;
		end record;
	type Verem is record	top:  Pointer := null;	end record;
end VEREM_E;