higher bound for the

stack frame is stack able stack✕