Slide 22
Digging one level deeper into the program's execution. Now we can see the code of two calls to fact, nested inside each other. The value of x in the inner (lower) call is 2, shown once again in blue. Because the first call was not replaced by the second, the programmer can examine both at once and see how they relate to each other.