higher bound on the

stack top stack overflow stack

full stack stack empty✕