higher bound on the
stack frame height stack bound in
✕
___
bound
bounds
i
on
ode
a
its
lines
↺ Reset