[slime-devel] Use of with-lock inside without-interrupts