higher bound on the
stack frame of void fun
✕
___
call
fun
go
calls
a
void
sum
no
↺ Reset