1
2Semaphore reinitialization: semaphore 0x........
3   at 0x........: sem_init (drd_pthread_intercepts.c:?)
4   by 0x........: main (tc18_semabuse.c:26)
5semaphore 0x........ was first observed at:
6   at 0x........: sem_init (drd_pthread_intercepts.c:?)
7   by 0x........: main (tc18_semabuse.c:23)
8
9
10ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
11