with stackpkg; use stackpkg; with stackpkg.more; use stackpkg.more; with ada.integer_text_io; use ada.integer_text_io; procedure trystack is s: stack; begin push(1, s); push(2, s); put(s); put (top(s)); pop(s); put (top(s)); end trystack;