Added use-repl-stuff