Reference Counting with Linear Types (github.com/alt-romes)