higher bound for the
stack top stack height stack depth stack
___