YIKES: there is what I would call a bug in the MLton basis library. In C, if you `exit' (not _exit, but exit), then all output bufferes are flushed. This is NOT being done in MLton. Note, again in C, it is important to have both exit and _exit. Is this fixable?