Function Init/Repl

( init/repl < repl > < state > )