higher bound for the
stack less than bound stack bound
✕
___
less
stack
bound
for
low
in
the
check
↺ Reset