sem_wait
int sem_wait(sem_t *);
sem_wait(&prod_sem);
sem_wait(&cons_sem);
CHECKn(sem_wait(&sem));
r = sem_wait(semp);