[slime-devel] Selecting the CONTINUE restart