libextra: Rewrite `MutexArc`