Doesn't Nimrod do deferred referencing counting(with backup cycle detection). Stack references don't need to DEC/INC. Do conservative stack scan during collection. Nimrod doesn't have D's GC issues, why not just do that?