But how about if (lambda (x &ignore y &ignore z) ...) was instead the same as (lambda (x y z) (declare (ignore y z)) ...) I don't see this as any big improvement in convenience over the declare form we have now. -- Scott