Update REPL.c