I'm completely confused about what the 20001130 version of MLton is doing. Using `-native true' definitely does different things than `-native false', but looking at the -v output it seems that both of them produce a C file. I would have been sure that the `-native true' would have produced a .s file. What is going on here?