Sounds like excellent progress. I can't wait. I don't quite understand the agnostic C-side library. I thought that you meant that the C source was asnostic, depending on #defines to set the sizes, but when you talk about a single libmlton-basis.a, it must mean that the actual binary is agnostic as well. Isn't that very expensive for almost no gain?