higher bound for the
stack trace width of function ___