higher bound for the

stack trace length bound stack trace i✕