((/rtl/rel4/support/mulcat.lisp::mulcat-induct (nil nil nil nil (if) nil nil) (nil (0) nil (recursive-call) nil (and) nil) (nil nil (integerp integerp 1- 1-) (> >) nil nil nil) ((n n n2 n2 n n2) (0 0) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))