diff -r 81377a3eb717 -r 67ab7162a861 progs/fact.fun
--- a/progs/fact.fun	Thu Nov 28 08:18:57 2019 +0000
+++ b/progs/fact.fun	Tue Dec 03 01:21:50 2019 +0000
@@ -13,5 +13,5 @@
 //fact(10)
 //facTi(10)
 
-write(facTi(5 + 5))
+write(facTi(6))