Misc...

[Henry Cejtin]

In addition to the byte order, there are some places in the C code back end
where MLton assumes that right-shifting an int will sign extend, even though
the ANSI C standard leaves this unspecified.  It depends on what the C compile
you use will do on the Mac.
Intel CPUs don't require any alignment considerations, although aligning things
helps improve speed.  I don't think that there are any examples that will
cause a problem, but it could be that some are there.