4939   Mutex mu3 ACQUIRED_AFTER(mu2) ACQUIRED_BEFORE(mu4);
4940   Mutex mu4;  member in AcquiredBeforeAfterText::Foo3
4946     mu4.Lock();  in test1()
4948     mu4.Unlock();  in test1()
4955     mu4.Lock();  in test2()
4959     mu4.Unlock();  in test2()
4963     mu4.Lock();  in test3()
4967     mu4.Unlock();  in test3()
4985   Mutex mu4 ACQUIRED_AFTER(mu2, mu3);
4986   Mutex mu5 ACQUIRED_AFTER(mu4);
4987   Mutex mu6 ACQUIRED_AFTER(mu4);
5003   Mutex mu2 ACQUIRED_BEFORE(mu4);
5004   Mutex mu3 ACQUIRED_BEFORE(mu4);
5005   Mutex mu4 ACQUIRED_BEFORE(mu5, mu6);