use concurrency -> use sync in a doc comment