higher bound for the

stack in its stack less stack full