sem_destroy
int sem_destroy(sem_t *);
__weak_alias(sem_destroy,_librt_sem_destroy)
SEM_REQUIRE(sem_destroy(&sem_b));
SEM_REQUIRE(sem_destroy(&sem_a));
ATF_REQUIRE_EQ(sem_destroy(&master_region->the_sem), 0);
ATF_REQUIRE(sem_destroy(sem) == -1 && errno == EINVAL);
ATF_REQUIRE_EQ(sem_destroy(&the_sem), 0);
if (sem_destroy(&semmarit[1]) == -1)
ATF_REQUIRE_EQ(sem_destroy(&sem), 0);