higher bound on the
stack frame height stack bound bound
✕
___
stack
less
bound
on
down
in
of
high
↺ Reset