higher bound for the
stack top age bound
✕
___
less
for
is
age
in
check
i
of
↺ Reset