I guess you are correct: if you want to export an ML object in a C variable then it is going to need the Pinned stuff from the ML side. Are we in agreement that for parameters however, the pinning is going to happen in the C code, not in the _import types?