configuration with REPL_SYNC