Symbol: get_sem_count