[slime-devel] second micropatch