package Generic_Stack is procedure Push (E: Element_T); function Pop return Element_T; end Generic_Stack;