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