higher bound for the
stack trace width of ___