sem_eval.adb 232 KB