On 6/23/22 20:16, Tony Garnock-Jones wrote:
>> How should the mapping be taken down?

There's another interesting question here, namely what happens to 
externally-allocated chunks across image-save/restore. I think FFI has a 
general facility for managing external resources that could work?