(use "factorial.fy") (factorial 3)