(mod (A B)
  (include *standard-cl-23*)
  (defun F (X Y)
    (let ((L (lambda ((& X Y) Z) (* Z (* X Y)))))
      (* (a L (list X)) (* X Y))
      )
    )
  (F A B)
  )