higher bound for the
stack less bound stack bound stack bound
stack let ___