higher bound on the
stack age of stack age bound stack
stack stack stack head ___