higher bound on the
stack top is stack bound stack✕ ___
↺ Reset