> Out of curiosity, what optimization level do you usually compile the C > code with? -O1, as set by the following line in the bin/mlton script. -cc-opt '-O1' \ I have encountered some pretty bad slowdowns in compile time in going from -O1 to -O2.