Symbol: sem_free