generic
    -- No generic parameters needed
package stackpkg.more is

   Stack_Too_Small: Exception;

   function size(s: Stack) return natural;
   --  number of elements in the stack

   function second(s: Stack) return ItemType;
   --  element below the top.  Exception if no second element

end stackpkg.more;