higher bound for the
stack frame is stack top ___