higher bound for the

stack trace length bound stack frame stack

back tracking stack stack✕