sem_eval.adb 144 KB