Initial version of repl.txt