sem_prag.adb 798 KB