(DEFUN FOO ((A B)) (LIST B A)) seems to be accepted by lisp but does the following: (DEFUN FOO (G0003) (COMMENT ARGLIST = ((A B))) (LET (A) (DESETQ A G0003) (LIST B A))) This doesn't seem quite like what I had hoped it would do...