Rewritten concurrency