
---Thread-Announcement------------------------------------------

Thread #x is the program's root thread

----------------------------------------------------------------

Thread #x: Exiting thread still holds 2 locks
   ...


ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
