I understand things a bit better now. If SML->C generates a .h file, it would resolve many of the issues here. I agree that interoperability shouldn't be a primary issue, but I admit to be pleased that MLton is at least getting a hearing here, which is a significant step forward and is no doubt due to its solid performance and stability. -- sj