handle_raise_from_pure.adb 270 Bytes