Here is a (slightly abbreviated) look at valgrind's analysis of Example C.4.