1 computing fact1(15) 2 in wrapper1-pre: fact(15) 3 in wrapper2-pre: fact(14) 4 in wrapper1-pre: fact(13) 5 in wrapper2-pre: fact(12) 6 in wrapper1-pre: fact(11) 7 in wrapper2-pre: fact(10) 8 in wrapper1-pre: fact(9) 9 in wrapper2-pre: fact(8) 10 in wrapper1-pre: fact(7) 11 in wrapper2-pre: fact(6) 12 in wrapper1-pre: fact(5) 13 in wrapper2-pre: fact(4) 14 in wrapper1-pre: fact(3) 15 in wrapper2-pre: fact(2) 16 in wrapper1-pre: fact(1) 17 in wrapper2-pre: fact(0) 18 in wrapper2-post: fact(0) = 1 19 in wrapper1-post: fact(1) = 1 20 in wrapper2-post: fact(2) = 2 21 in wrapper1-post: fact(3) = 6 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(4) = 32 29 in wrapper1-post: fact(5) = 160 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 in wrapper2-post: fact(6) = 972 37 in wrapper1-post: fact(7) = 6804 38 in wrapper2-pre: fact(2) 39 in wrapper1-pre: fact(1) 40 in wrapper2-pre: fact(0) 41 in wrapper2-post: fact(0) = 1 42 in wrapper1-post: fact(1) = 1 43 in wrapper2-post: fact(2) = 2 44 in wrapper2-post: fact(8) = 54448 45 in wrapper1-post: fact(9) = 490032 46 in wrapper2-pre: fact(2) 47 in wrapper1-pre: fact(1) 48 in wrapper2-pre: fact(0) 49 in wrapper2-post: fact(0) = 1 50 in wrapper1-post: fact(1) = 1 51 in wrapper2-post: fact(2) = 2 52 in wrapper2-post: fact(10) = 4900340 53 in wrapper1-post: fact(11) = 53903740 54 in wrapper2-pre: fact(2) 55 in wrapper1-pre: fact(1) 56 in wrapper2-pre: fact(0) 57 in wrapper2-post: fact(0) = 1 58 in wrapper1-post: fact(1) = 1 59 in wrapper2-post: fact(2) = 2 60 in wrapper2-post: fact(12) = 646844904 61 in wrapper1-post: fact(13) = -180950840 62 in wrapper2-pre: fact(2) 63 in wrapper1-pre: fact(1) 64 in wrapper2-pre: fact(0) 65 in wrapper2-post: fact(0) = 1 66 in wrapper1-post: fact(1) = 1 67 in wrapper2-post: fact(2) = 2 68 in wrapper2-post: fact(14) = 1761655564 69 in wrapper1-post: fact(15) = 655029684 70 in wrapper2-pre: fact(2) 71 in wrapper1-pre: fact(1) 72 in wrapper2-pre: fact(0) 73 in wrapper2-post: fact(0) = 1 74 in wrapper1-post: fact(1) = 1 75 in wrapper2-post: fact(2) = 2 76 fact1(15) = 655029686 77 allocated 111 Lards 78
