[slime-devel] #;