with Stacks, Text_IO; procedure Main is package Integer_Stacks is new Stacks(Integer); use Integer_Stacks; S: Stack(255); begin Empty(S); if Size(S) < S.Capacity then Push(S,3); end if; if Size(S) < S.Capacity then Push(S,8); end if; if Size(S) > 0 then Pop(S); end if; if Size(S) > 0 then Text_IO.Put( Integer'Image( Top(S) ) ); end if; end Main;