DEFUN doesn't check enough

[KMP at MIT-MC (Kent M. Pitman)]

By the way, with STRING loaded, (DEFUN "ABC" (X) ...) returns **SELF-EVAL**.
I dread to think what is happening internally in order to achieve this
wondrous effect. I suspect it thinks it sees a list in the name position and
is randomly CDR'ing it. It seems to put a **CLASS-SELF-EVAL** property
of (LAMBDA (X) ...) on it.
-kmp