[slime-devel] Find Definitions