sem_elab.adb 519 KB