sem_ch12.adb 315 KB