package body Stacks is procedure Empty( S: out Stack ) is begin S.Size := 0; --S.Data := (others => Default_Value); --for I in S.Data'Range loop --S.Data(I) := Default_Value; --end loop; --S.Size := 0; end Empty; procedure Push( S: in out Stack; I: in Item ) is begin S.Size := S.Size + 1; S.Data(Size(S)) := I; end Push; procedure Pop( S: in out Stack ) is begin S.Size := S.Size - 1; end Pop; end Stacks;