[MLton] Porting MLton... C99?

[Henry Cejtin]

With regards to Stephen's example where Int32.int is useful:
	datatype t = A of Int31.int | B of Int31.int
I would say that by far the most useful case is the much simpler one of
	Int31.int option
where the SOME case fits in 32 bits instead of being stored in a heap-allocated
object for
	Int.int option

Re C99, isn't it still true that with newer gcc's we have to turn off some of
the aliasing analysis because our casts are not really C99-legal?