higher bound for the
stack frame in bound stack check in
___