add sanity test for the REPL