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