execute-kbd-macro -> slime-repl-return