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