Added closed_mutex