update repl_fun definition