sem_main