>> But, what names are exported by platform.h that aren't also exported >> by libmlton.a? > > Exports aren't the issue. The problem is all the things that > platform.h brings in that aren't exported, e.g. #defines. There is no > reason to have those cause conflicts with user code. Fair enough. But, is it agreed that "basis-ffi.h" is fair game for "c-chunk.h"?