higher bound on the
stack in a stack box stack mark
stack bound by ___