Mutex buggy