higher bound on the
stack frame height stack age bound less
✕
___
or
on
than
bound
in
over
less
of
↺ Reset