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;