Differential Reference Counting: Implementation