higher bound on the
stack frame height stack age bound
✕
___
less
stack
age
bound
in
on
is
of
↺ Reset