higher bound for the
stack trace length bound stack trace stack
bound stack ___