sem_util.adb 536 KB