2
in wrapper1-pre: fact(7)
3
in wrapper2-pre: fact(6)
4
in wrapper1-pre: fact(5)
5
in wrapper2-pre: fact(4)
6
in wrapper1-pre: fact(3)
7
in wrapper2-pre: fact(2)
8
in wrapper1-pre: fact(1)
9
in wrapper2-pre: fact(0)
10
in wrapper2-post: fact(0) = 1
11
in wrapper1-post: fact(1) = 1
12
in wrapper2-post: fact(2) = 2
13
in wrapper1-post: fact(3) = 6
14
in wrapper2-pre: fact(2)
15
in wrapper1-pre: fact(1)
16
in wrapper2-pre: fact(0)
17
in wrapper2-post: fact(0) = 1
18
in wrapper1-post: fact(1) = 1
19
in wrapper2-post: fact(2) = 2
20
in wrapper2-post: fact(4) = 32
21
in wrapper1-post: fact(5) = 160
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(6) = 972
29
in wrapper1-post: fact(7) = 6804
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