Symbol: sem_max_sems