When converting Common Lisp packages to Python modules, we run into the problem that not every Common Lisp symbol name is a valid Python identifier. As a remedy, so we attempt to substitute ...