| 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) |