piping file stream into repl, but lost stdin
hello repl working
no more file stream