Concurrency section rewrite