higher bound on the

stack top stack overflow stack

over stack stack stack✕