I was wondering what are your views on the 64 bits X86 extensions EMT64 & AMD64 for MLton ? What would mean an MLton version with 64 bit pointers (or perhaps 40/48 bits for pointers stored in the heap is enough if there is a was to request pages in the lower address range), able to address more than 4Gb RAM ? Alain.