sem_ch12.adb 440 KB