2 in wrapper1
-pre
: fact
(5)
3 in wrapper1
-pre
: fact
(4)
4 in wrapper1
-pre
: fact
(3)
5 in wrapper1
-pre
: fact
(2)
6 in wrapper1
-pre
: fact
(1)
7 in wrapper1
-pre
: fact
(0)
8 in wrapper1
-post
: fact
(0) = 1
9 in wrapper1
-post
: fact
(1) = 1
10 in wrapper1
-post
: fact
(2) = 2
11 in wrapper1
-post
: fact
(3) = 6
12 in wrapper1
-post
: fact
(4) = 24
13 in wrapper1
-post
: fact
(5) = 120
