Estevo,
I think I completely lost you about what you are trying to achieve.
Please clarify, what particular use of wills do you find dangerous?
Is it that.. you find it tricky to get in place a particular sequence of C FFI structure release function invocation on their GC???
Something along the lines that if you have a C structure A that contains in it a reference to another C structure B, and you want Gambit's GC to automatically take care of this relationship in the sense that it will not release B before A??
Feel free to describe the totality of the problem you see as one or two sentences, so an elementary school kid would get it :)
Also feel free to describe some practical goal or usecase that cannot be achieved right now because of this
Mikael