Assertion: semaphore's value | /r/HasProperty | returned by successful call
Facets:
Source sentences:
text: Bizarrely, POSIX.1-2001 does not specify the value that should be returned by a successful call to sem_init().