cadr 3 seems to have an old version of defun (actually defun-compatibility) that causes an error with (defun foo nil (print 'x)) this happens with any defun of a function of no arguments. loading lispm2;qcfile causes the problem to go away