higher bound for the
stack top height stack
✕
___
top
overflow
height
bound
of
less
tops
depth
↺ Reset