case_optimization1.adb 518 Bytes