Sigh. What I *meant* when I said "deferred reference counting" was the "incremental recursive freeing". Elision of cancelling count adjustments is something I'd regard as a compiler optimization. David