((/nonstd/misc/defmac.lisp::defmac-fn (nil nil nil (let) nil nil nil) (((ctx (cons (quote defmac) (car mdef)))) nil nil nil (mv-let) nil nil) (nil nil (macro-fn) (cond) (mv-let) nil nil) ((mdef) nil ((and (true-listp mdef) (<= 4 (length mdef)) (eq (nth 2 mdef) :MACRO-FN)) t er-string chk-defmacro-width) (cond) nil nil nil) ((four mdef) nil (er-string t) (mv mv) nil nil nil) ((nil mdef) nil nil (nth let) (list*) nil (list)) ((mdef) (3) (quote quote kwote kwote kwote) (nth nth nthcdr cond) ((name (car four))) nil nil)))