> MLton.Pointer.t is the only reasonable "expandOpaque" primitive > type, but it can still be useful to import an address at an opaque > SML type. Makes sense. I slightly lean toward _address (with the type annotation) over "_import #" or "_import &". But only slightly.