Concurrency Annotations and Reusability