In order to do this, we introduce the mutex_prof module, which breaks a circular dependency between ctl and prof.