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;