higher bound on the

stack frame height stack frame width stack

trace width stack able✕