Function:
(defun isodata-fresh-defiso-name-with-*s-suffix-aux (name table) (declare (xargs :guard (and (symbolp name) (alistp table)))) (let ((__function__ 'isodata-fresh-defiso-name-with-*s-suffix-aux)) (declare (ignorable __function__)) (if (consp (assoc-eq name table)) (isodata-fresh-defiso-name-with-*s-suffix-aux (packn-pos (list name '*) name) table) name)))