Added concurrency-preserving module.