package body Stacks is procedure Push( S: in out Stack; I: in Item ) is begin S.Size := S.Size + 1; S.Data(S.Size) := I; end Push; procedure Pop( S: in out Stack ) is begin S.Size := S.Size - 1; end Pop; end Stacks;