Symbol: sem_t