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