higher bound on the
stack frame height stack frames he i
✕
___
he
in
i
it
at
ore
am
ad
↺ Reset