[slime-devel] Faster output