A side effect of having one mlton-stubs implementation is that MLton.debug is false in all versions; this means that tracing doesn't work by default in an SML/NJ G0 version of mlton. No big deal, but something to keep in mind when debugging.