> Yikes: there is code in the MLton executable to generate dot files? Seems > a bit excessive, although it is probably dinky. It's not big at all. And it really is very helpful to see these control-flow graphs with all the statements in them. It makes it easy to see optimizations that should be added.