[slime-devel] slime-invoke-restart-by-name