Debugging Async Mutex