higher bound on the
stack overflow bound stack bound
bound stack top of ___