Update concurrency.hh