/.../ so I guess we could start with only the delayed-update refcount gc and dispense with this issue until all the other things start to work a bit.
Realized that it unfortunately isn't that easy - scanning the stacks on each function exit would still be required, and that'd probably be too slow.