add a `MutexArc` stub