> Ok. I assume that most of what is needed must alreay be there in the stuff > to make MLton under SML/NJ, right? Yep. There are two kinds of things in lib/mlton-stubs-in-smlnj 1. stuff to make NJ use 32 bit ints and words 2. the MLton structure You just need to separate out (2).