sem_ch12.adb 597 KB