(eval-when (:compile-toplevel :load-toplevel :execute)
  (defun factorial ...))