(defpackage my-fact (:export afact))