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;