make all the repl_funs do the code_asserts