[slime-devel] potentially harmful bug when restarting SLIME