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