2 in wrapper1
-pre
: fact
(5)
3 in wrapper2
-pre
: fact
(4)
4 in wrapper1
-pre
: fact
(3)
5 in wrapper2
-pre
: fact
(2)
6 in wrapper1
-pre
: fact
(1)
7 in wrapper2
-pre
: fact
(0)
8 in wrapper2
-post
: fact
(0) = 1
9 in wrapper1
-post
: fact
(1) = 1
10 in wrapper2
-post
: fact
(2) = 2
11 in wrapper1
-post
: fact
(3) = 6
12 in wrapper2
-pre
: fact
(2)
13 in wrapper1
-pre
: fact
(1)
14 in wrapper2
-pre
: fact
(0)
15 in wrapper2
-post
: fact
(0) = 1
16 in wrapper1
-post
: fact
(1) = 1
17 in wrapper2
-post
: fact
(2) = 2
18 in wrapper2
-post
: fact
(4) = 32
19 in wrapper1
-post
: fact
(5) = 160
20 in wrapper2
-pre
: fact
(2)
21 in wrapper1
-pre
: fact
(1)
22 in wrapper2
-pre
: fact
(0)
23 in wrapper2
-post
: fact
(0) = 1
24 in wrapper1
-post
: fact
(1) = 1
25 in wrapper2
-post
: fact
(2) = 2
