> > Now, mlton -expert true -show-anns true displays:
...
> > ffiStr {<longstrid>}
> > forceUsed
...
> After reading Matthew's note, I think that it is better to make it
> syntactically apparent that the semantics of forceUsed is special.
OK. It looks like this issue is completely settled then.