speed improvement, from 18 min to 10 min for repl translation