Perhaps the `standard ML' version of MLton should also do the 32-bit stuff. I guess that then it would be depending on Int32 and Word32 existing. Does a MLton self-compile depend on Int and Word being Int32 and Word32?