higher bound on height
of stack over flow chart
✕
___
less
ins
head
line
lines
peak
proof
in
↺ Reset