with VEREM_V, TEXT_IO; use VEREM_V, TEXT_IO;
procedure VTeszt is
        v: Verem;
begin
        Push(v,1);
        Push(v,2);
        Pop(v);
        Put_LINE(INTEGER'IMAGE(Top(v)));
end VTeszt;