higher bound for the

stack less than zero bound stack

top zero bound check✕