add lib/repl.h