higher bound on the
stack top stack frame stack of stack
frame bound stack ___