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