mutex_raii_ex