higher bound on the
stack frame height stack less a in
✕
___
bound
ode
lined
of
i
out
efficiency
if
↺ Reset