CC: (BUG LISP) at MIT-MC, (BUG LISPM) at MIT-MC
Why don't you simply fix the Ncomplr bug which causes code such as
(defun foo (x y z)
y ;y is ignored
(frob x z))
to get a "bound but never used" error for y? This is the construct
we use in the Lisp machine.