[slime-devel] slime-edit-value