higher bound for the

stack frame in bound stack frames is

stack able stack less✕