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)
in wrapper2-pre:  fact(0)
in wrapper2-post: fact(0) = 1
in wrapper1-post: fact(1) = 1
in wrapper2-post: fact(2) = 2
in wrapper1-post: fact(3) = 6
in wrapper2-pre:  fact(2)
in wrapper1-pre:  fact(1)
in wrapper2-pre:  fact(0)
in wrapper2-post: fact(0) = 1
in wrapper1-post: fact(1) = 1
in wrapper2-post: fact(2) = 2
in wrapper2-post: fact(4) = 32
in wrapper1-post: fact(5) = 160
in wrapper2-pre:  fact(2)
in wrapper1-pre:  fact(1)
in wrapper2-pre:  fact(0)
in wrapper2-post: fact(0) = 1
in wrapper1-post: fact(1) = 1
in wrapper2-post: fact(2) = 2
in wrapper2-post: fact(6) = 972
in wrapper1-post: fact(7) = 6804
in wrapper2-pre:  fact(2)
in wrapper1-pre:  fact(1)
in wrapper2-pre:  fact(0)
in wrapper2-post: fact(0) = 1
in wrapper1-post: fact(1) = 1
in wrapper2-post: fact(2) = 2
in wrapper2-post: fact(8) = 54448
in wrapper1-post: fact(9) = 490032
in wrapper2-pre:  fact(2)
in wrapper1-pre:  fact(1)
in wrapper2-pre:  fact(0)
in wrapper2-post: fact(0) = 1
in wrapper1-post: fact(1) = 1
in wrapper2-post: fact(2) = 2
in wrapper2-post: fact(10) = 4900340
in wrapper1-post: fact(11) = 53903740
in wrapper2-pre:  fact(2)
in wrapper1-pre:  fact(1)
in wrapper2-pre:  fact(0)
in wrapper2-post: fact(0) = 1
in wrapper1-post: fact(1) = 1
in wrapper2-post: fact(2) = 2
in wrapper2-post: fact(12) = 646844904
in wrapper1-post: fact(13) = -180950840
in wrapper2-pre:  fact(2)
in wrapper1-pre:  fact(1)
in wrapper2-pre:  fact(0)
in wrapper2-post: fact(0) = 1
in wrapper1-post: fact(1) = 1
in wrapper2-post: fact(2) = 2
in wrapper2-post: fact(14) = 1761655564
in wrapper1-post: fact(15) = 655029684
in wrapper2-pre:  fact(2)
in wrapper1-pre:  fact(1)
in wrapper2-pre:  fact(0)
in wrapper2-post: fact(0) = 1
in wrapper1-post: fact(1) = 1
in wrapper2-post: fact(2) = 2
fact1(15) = 655029686
allocated 111 Lards