higher bound for the

stack less than zero bound stack

bound zero bound check✕