higher bound on the
stack frame height stack less than
✕
___
the
or
bound
floor
less
stack
a
i
↺ Reset