higher bound on the

stack top is stack bound stack depth

limit stack stack bound✕