higher bound for the
stack frame height stack bound stack depth
___