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