KCl is not doing number of argument checking correctly for functions with ignored arguments. In the following: (defun foo (x) (declare (ignore x)) :ignore) after compiling I get this: >(foo t) :IGNORED but also this: >(foo) :IGNORED and also this: >(foo t t t t t t t t t) :IGNORED Steele, page 153: "...correct declarations do not affect the meaning of a correct program." -Eliot eliot@winnie.Princeton.edu