1 computing fact1(5) 2 in wrapper1-pre: fact(5) 3 in wrapper2-pre: fact(4) 4 in wrapper1-pre: fact(3) 5 in wrapper2-pre: fact(2) 6 in wrapper1-pre: fact(1) 7 in wrapper2-pre: fact(0) 8 in wrapper2-post: fact(0) = 1 9 in wrapper1-post: fact(1) = 1 10 in wrapper2-post: fact(2) = 2 11 in wrapper1-post: fact(3) = 6 12 in wrapper2-post: fact(4) = 24 13 in wrapper1-post: fact(5) = 120 14 fact1(5) = 120 15
