post_sem
post_sem(&hackthread.sem.complete);
post_sem(&th->sem.start);
post_sem(&th->sem.stop);
post_sem(&tk->sem.start);
post_sem(s);
post_sem(&th->sem.stopchild);
post_sem(&s->ready);
post_sem(&ringthreads[post_to].sem.start);
post_sem(&ringthreads[post_to].sem.start);
post_sem(&s->complete);
post_sem(&ringthreads[0].sem.start);
post_sem(&ringthreads[i].sem.stop);
post_sem(&hackthread.sem.stop);
post_sem(&s->ready);
post_sem(&s->complete);
post_sem(&s->ready);
post_sem(&tks->stop);
post_sem(&tks->start);
post_sem(&s->complete);
extern inline void post_sem(sem_t *s);