This is a refinement/elaboration of What does the call stack look like in a system of nested functions, functions passed as arguments, and returned functions?
He