sem_aux.adb 34 KB