[slime-devel] Tracing with slime presentations