I would call it `change_compiler` instead of `non_std_repl` ...