1 computing fact1(7) 2 in wrapper1-pre: fact(7) 3 in wrapper2-pre: fact(6) 4 in wrapper1-pre: fact(5) 5 in wrapper2-pre: fact(4) 6 in wrapper1-pre: fact(3) 7 in wrapper2-pre: fact(2) 8 in wrapper1-pre: fact(1) 9 in wrapper2-pre: fact(0) 10 in wrapper2-post: fact(0) = 1 11 in wrapper1-post: fact(1) = 1 12 in wrapper2-post: fact(2) = 2 13 in wrapper1-post: fact(3) = 6 14 in wrapper2-pre: fact(2) 15 in wrapper1-pre: fact(1) 16 in wrapper2-pre: fact(0) 17 in wrapper2-post: fact(0) = 1 18 in wrapper1-post: fact(1) = 1 19 in wrapper2-post: fact(2) = 2 20 in wrapper2-post: fact(4) = 32 21 in wrapper1-post: fact(5) = 160 22 in wrapper2-pre: fact(2) 23 in wrapper1-pre: fact(1) 24 in wrapper2-pre: fact(0) 25 in wrapper2-post: fact(0) = 1 26 in wrapper1-post: fact(1) = 1 27 in wrapper2-post: fact(2) = 2 28 in wrapper2-post: fact(6) = 972 29 in wrapper1-post: fact(7) = 6804 30 in wrapper2-pre: fact(2) 31 in wrapper1-pre: fact(1) 32 in wrapper2-pre: fact(0) 33 in wrapper2-post: fact(0) = 1 34 in wrapper1-post: fact(1) = 1 35 in wrapper2-post: fact(2) = 2 36 fact1(7) = 6806 37 allocated 51 Lards 38
