with VEREM_VG; with TEXT_IO;
procedure Demo is
                package INT_IO is new TEXT_IO.INTEGER_IO(INTEGER); use INT_IO;
        package INT_VEREM is new VEREM_VG(INTEGER); use INT_VEREM;
        v: Verem;
begin
        Push(v,1);
        Push(v,2);
        Pop(v);
        Put(Top(v));
end Demo;