1computing fact1(15)
2in wrapper1-pre:  fact(15)
3in wrapper2-pre:  fact(14)
4in wrapper1-pre:  fact(13)
5in wrapper2-pre:  fact(12)
6in wrapper1-pre:  fact(11)
7in wrapper2-pre:  fact(10)
8in wrapper1-pre:  fact(9)
9in wrapper2-pre:  fact(8)
10in wrapper1-pre:  fact(7)
11in wrapper2-pre:  fact(6)
12in wrapper1-pre:  fact(5)
13in wrapper2-pre:  fact(4)
14in wrapper1-pre:  fact(3)
15in wrapper2-pre:  fact(2)
16in wrapper1-pre:  fact(1)
17