raise_from_pure.adb 197 Bytes