expression - a form.
declaration - a declare expression; not evaluated.
forms - an implicit progn.
results - the values returned by the forms.
The lambda-list supports destructuring as described in Section 3.4.5 Destructuring Lambda Lists.
(defun iota (n) (loop for i from 1 to n collect i)) ;helper (destructuring-bind ((a &optional (b 'bee)) one two three) `((alpha) ,@(iota 3)) (list a b three two one)) (ALPHA BEE 3 2 1)