Using the LIST builder, parsing and unparsing (defun f (&aux (y 10))) results in (defun f (&aux (ses:name 10)))