pause-repl code