higher bound for the
stack top stack depth stack ___