Assertion: unnamed semaphore | /r/HasProperty | pointed by sem
Facets:
Source sentences:
text: sem_destroy destroys the unnamed semaphore pointed by sem.