sem_eval.adb 233 KB