Added mutex_mgr for queues in corrct_ct()