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