add an initial `MutexArc` stub