discr24.adb 1.16 KB