[slime-devel] [PATCH] improvement to arglist