DEFUN&-CHECK-ARGS

[JONL at MIT-MC (Jon L White)]

I remember you had a question earlier this month about when
DEFUN& would output (ARGS 'FOO ...).  Well, the variable
DEFUN&-CHECK-ARGS only controls the insertion of number-of-arg-
checking code into the body of the function -- thus if such code
did get inserted, it is presumed that the ARGS needn't be
changed (and there are reasons why you might not want to 
change it frivously -- like, not having to unpurcopy the
symbol).