annotate codebase with ownership semantics