higher bound on the
stack frame height stack bound hi
✕
___
bound
hi
he
em
stack
bounds
ward
end
↺ Reset