Symbol: SEMCTL