For example if I have a ffi function that transfers the ownership of some allocator in the middle of the function.