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

Thread #x is the program's root thread

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

Thread #x's call to sem_init failed
   with error code 22 (EINVAL: Invalid argument)
   at 0x........: sem_init@* (hg_intercepts.c:...)
   by 0x........: main (tc18_semabuse.c:23)

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

Thread #x: Bug in libpthread: sem_wait succeeded on semaphore without prior sem_post
   at 0x........: sem_wait_WRK (hg_intercepts.c:...)
   by 0x........: sem_wait (hg_intercepts.c:...)
   by 0x........: main (tc18_semabuse.c:34)

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

Thread #x's call to sem_post failed
   with error code 22 (EINVAL: Invalid argument)
   at 0x........: sem_post_WRK (hg_intercepts.c:...)
   by 0x........: sem_post (hg_intercepts.c:...)
   by 0x........: main (tc18_semabuse.c:37)


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