(module Core_mutex)