higher bound on the

stack in a stack box stack mark