FASLOAD gives a spurious error msg about "CDR" or whatver being redefined as a FOO-SUBR when you fasload in the FASL file for (DEFUN (CDR FOO-EXPR FOO-SUBR) (X) (MUMBLE X)) There is no redefinition involved since a FOO-SUBR property is being put.