sem_post
int sem_post(sem_t *);
WR(stub_zero, sem_post);
__strong_reference(_sem_post, sem_post);
if ((sem_post(s)) == -1) {
assert(0 == sem_post(&sem_a));
assert(0 == sem_post(&sem_a));
assert(0 == sem_post(&sem_b));
assert(0 == sem_post(&sem_b));
assert(0 == sem_post(&sem_b));
assert(0 == sem_post(&sem_b));
if (sem_post(alarm_id) < 0)
if (sem_post(&id) < 0) {
sem_post(id);
if (sem_post(id) < 0) {
sem_post(id);
sem_post(&mtsem);
sem_post(&tmp_files_sem);
sem_post(&tmp_files_sem);
sem_post(&tmp_files_sem);
sem_post(&mtsem);