Use std::sync instead of sync