| ---Thread-Announcement------------------------------------------ | |
| Thread #x is the program's root thread | |
| ---------------------------------------------------------------- | |
| Thread #x's call to sema_init failed | |
| with error code 22 (EINVAL: Invalid argument) | |
| at 0x........: sema_init (hg_intercepts.c:...) | |
| ... | |
| by 0x........: main (tc18_semabuse.c:23) | |
| ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0) |