| Semaphore reinitialization: semaphore 0x........ | |
| at 0x........: sem_init (drd_pthread_intercepts.c:?) | |
| by 0x........: main (tc18_semabuse.c:26) | |
| semaphore 0x........ was first observed at: | |
| at 0x........: sem_init (drd_pthread_intercepts.c:?) | |
| by 0x........: main (tc18_semabuse.c:23) | |
| ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0) |