higher bound for the
stack less bound stack less stack size
of stack bound ___