Re: %destructor feedback

[Akim Demaille]

I might be slightly off topic, but I have not seen any problem
reported with casts to void in the case of C++.  So we should probably
look for a pure C solution, and let __cplusplus do the rest.  But you
may already have realized that already, I didn't follow the thread
close enough...