Hm, I was hoping for assurance that you were ready to jump in and produce the 64-bit version of MLton when the CPUs are ready. More and more machines around here have 4 gig of RAM, and they would have more if it could be addressed in one process.