higher bound for the
stack trace length bound
✕
___
for
in
less
is
stack
the
check
at
↺ Reset