setux_repl