higher bound on the
stack frame height stack overflow
proof
✕
___
less
stack
read
proof
of
break
reads
reading
↺ Reset