Binding finalizers.  Handling multiple implicit or explicit calls to finalizers.
7 is a nicer number than 6
Removing useless term from private macro.
Supporting an arbitrary number of gc vars in FFI (e.g. as caused by more than 5 result params).