higher bound on the
stack top is stack bound stack depth
limit stack less ___