opt2.adb 564 Bytes