Concurrency 21.3.2