sem_eval.adb 235 KB