> So, it has changed the loop to count down from n to 0 instead of up from 0 to n. I just realized that this is important too, since it means a compare against zero instead of a compare against a variable, which may live in a stack slot (and does, for mlton). I notice that the ocaml people rewrote their source to count down, and the mlton source inherited this.