auto start repl
copy code for test: verify! and check