higher bound for the
stack frame height stack age bound
✕
___
stack
less
age
bound
in
for
is
check
↺ Reset