Franklyn Turbak sent me a note recently asking about code sizes in MLton. Do we have any recent numbers on code sizes (in comparison with NJ) for our benchmark suite? I think it would be especially nice to compare code size of executables produced by the native-code backend with NJ. -- sj