Getting REPL
Separate stuff