higher bound on the
stack frame height stack of blocks stack
less ___