dec-io.adb 8.14 KB