2 ---Thread
-Announcement
------------------------------------------
4 Thread #x is the
program's root thread
6 ----------------------------------------------------------------
8 Thread #x: Exiting thread still holds 2 locks
12 ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)