sem_ch12.adb 600 KB