I'm using MCL 2.0.1 and this is what I get when I do that: ? (defun foo (a b &optional c (d 4) &rest e &key f (g 7)) ( list a b c d e f g)) foo ? (foo 1 2 3) (1 2 3 4 nil nil 7) ? Which seems to be the correct response. Robby