higher bound on the
stack frame height stack frames bound
✕
___
less
by
stack
bound
to
low
on
in
↺ Reset