Symbol: sem_post