translation of repl_step now works, but other things fail