Austin Allison: Cracking the co_ownership code