higher bound on the
stack age of stack top stack frame
✕
___
is
stack
age
i
in
frames
lets
of
↺ Reset