(fun factorial (x) (if (<= x 1) 1 (* x (factorial (- x 1))))) (do (print (factorial 7)))