higher bound on the
stack frame height stack bound i is
✕
___
i
a
at
is
the
hi
in
bound
↺ Reset