I have one more question about Gc.finalise to which I couldn't find an answer in the documentation.

Suppose I do, "Gc.finalise f v", and the function f makes the value v reachable again.  If I want f to be called again should v become unreachable again, do I need to again call "Gc.finalise f v", after f has "revived" v? 

My experimentation _seems_ to suggest that I do, but there is always the danger that I am misinterpreting the results of my experiment. :-)

Thank you in advance!

--

Best,

Zhenya