1V "GNAT Lib v9" 2A -gnatwa 3A -nostdinc 4A -O2 5A -Wextra 6A -Wall 7A -g 8A -gnatp 9A -gnatg 10A -mtune=generic 11A -march=x86-64 12P ZX 13 14RN 15RV NO_IMPLICIT_CONDITIONALS 16RV NO_STANDARD_STORAGE_POOLS 17RV NO_UNCHECKED_CONVERSION 18RV SPARK_05 19 20U system.compare_array_signed_64%b s-casi64.adb e5cdcb3b NE OL PK 21W ada%s ada.ads ada.ali 22W ada.unchecked_conversion%s 23W system%s system.ads system.ali 24W system.address_operations%s s-addope.adb s-addope.ali 25 26U system.compare_array_signed_64%s s-casi64.ads f2c9b672 NE OL PK 27W system%s system.ads system.ali 28 29D ada.ads 20170911084841 76789da1 ada%s 30D a-unccon.ads 20170908151217 0e9b276f ada.unchecked_conversion%s 31D system.ads 20190108095404 c631886f system%s 32D s-addope.ads 20190108095404 130cbe33 system.address_operations%s 33D s-addope.adb 20190108095404 b595c660 system.address_operations%b 34D s-casi64.ads 20190108095404 34f83e1d system.compare_array_signed_64%s 35D s-casi64.adb 20190108095404 cca26c7a system.compare_array_signed_64%b 36X 1 ada.ads 3716K9*Ada 20e8 7|34r6 49r22 50r22 38X 2 a-unccon.ads 3920v14*Unchecked_Conversion 7|34w10 49r26 50r26 40X 3 system.ads 4137K9*System 148e11 6|35r9 42r19 43r19 52r5 7|32r6 32r37 36r14 57r19 58r19 42. 116r5 4367M9*Address 6|42r26 43r26 7|49r48 50r48 57r26 58r26 65r11 66r11 4481V14*"="{boolean} 7|72r38 45X 4 s-addope.ads 4645K16*Address_Operations 87e30 7|32w13 32r44 4765V13*AddA{3|67M9} 7|83s18 84s18 100s18 101s18 4869V13*ModA{3|67M9} 7|72s10 4977V13*OrA{3|67M9} 7|72s16 50X 6 s-casi64.ads 5135K16*Compare_Array_Signed_64 3|37k9 6|52l12 52e35 7|36b21 116l12 116t35 5241V13*Compare_Array_S64{integer} 42>7 43>7 44>7 45>7 7|56b13 114l8 114t25 5342m7 Left{3|67M9} 7|57b7 65r22 72r21 5443m7 Right{3|67M9} 7|58b7 66r22 72r27 5544i7 Left_Len{natural} 7|59b7 62r38 107r10 109r13 5645i7 Right_Len{natural} 7|60b7 62r48 107r21 109r24 57X 7 s-casi64.adb 5838I9 Word<long_integer> 39r8 42r22 46r22 5942I9 Uword<38I9> 43r8 47r22 6046P9 WP(38I9) 49r57 6147P9 UP(42I9) 50r57 6249V13 W[2|20]{46P9} 74s16 74s29 75s19 75s31 6350V13 U[2|20]{47P9} 91s16 91s29 92s19 92s31 6462i7 Clen{natural} 73r16 82m13 82r21 90r16 99m13 99r21 6565m7 L{3|67M9} 74r19 75r22 83m13 83r24 91r19 92r22 100m13 100r24 6666m7 R{3|67M9} 74r32 75r34 84m13 84r24 91r32 92r34 101m13 101r24 67 68