with VEREM_D, TEXT_IO; use TEXT_IO;
procedure Proba is
	package IntVerem is new VEREM_D(INTEGER); use IntVerem;
	v: Verem(10);		-- mindkettohoz jo
	--v: Verem;		-- csak ha van default ertek 
begin
	Push(v,10); Push(v,11); Pop(v);
	Put_Line(INTEGER'Image(Top(v)));
end Proba;