with Generic_Stack; -- Instantiate a Stack of Integers. package Stack_Int is new Generic_Stack(Integer);