sem_eval.adb 231 KB