[slime-devel] On the numbering of restarts in SLDB