Specify memory-management semantics