Generic ownership: practical ownership control in programming languages