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